examples/regulus/toy1/LexToy1.gf


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

interface LexToy1 = 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 ;

}