gf-3.2: book/examples/chapter2/Ticket.gf

abstract Ticket = {

flags startcat = Request ;
cat
  Request ; Station ;
fun 
  Ticket : Station -> Station -> Request ;
  Hamburg, Paris : Station ;

}