path: root/doc/tutorial/Fish.gf

abstract Fish = {
    cat Fish ;
    fun Salmon, Perch : Fish ;
}