gf-3.2: book/examples/chapter8/Calculator.gf

abstract Calculator = {
flags startcat = Exp ;
cat Exp ;
fun
  EPlus, EMinus, ETimes, EDiv : Exp -> Exp -> Exp ;
  EInt : Int -> Exp ;
}