path: root/doc/tutorial/Mushroom.gf

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