path: root/doc/tutorial/old/Mushrooms.gf

abstract Mushrooms = {
    cat Mushroom ;
    fun Cep, Agaric : Mushroom ;
}