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

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