gf-3.1.6: examples/tutorial/smart/LexSmart.gf

interface LexSmart = open Syntax in {

oper
  dim_V2 : V2 ;
  fan_N : N ;
  kitchen_N : N ;
  light_N : N ;
  livingRoom_N : N ;
  switchOff_V2 : V2 ;
  switchOn_V2 : V2 ;

}