Project

General

Profile

Revision 5c1184ad src/corelang.mli

View differences:

src/corelang.mli
133 133
  | ImportedFun of imported_fun_desc
134 134
  (* | SensorDecl of sensor_desc *)
135 135
  (* | ActuatorDecl of actuator_desc *)
136
  | Include of string
136
  | Open of string
137 137

  
138 138
type top_decl =
139 139
    {top_decl_desc: top_decl_desc;

Also available in: Unified diff