examples/tutorial/smart/LexSmart.gf


1
2
3
4
5
6
7
8
9
10
11
12

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 ;

}