Project

General

Profile

Revision 54ae8ac7 src/corelang.mli

View differences:

src/corelang.mli
114 114
     nodei_inputs: var_decl list;
115 115
     nodei_outputs: var_decl list;
116 116
     nodei_stateless: bool;
117
     nodei_spec: LustreSpec.node_annot option;}
117
     nodei_spec: LustreSpec.node_annot option;
118
     nodei_prototype: string option;
119
     nodei_in_lib: string option;
120
}
118 121
(*
119 122
type imported_fun_desc =
120 123
    {fun_id: ident;
......
144 147
  (* | ImportedFun of imported_fun_desc *)
145 148
  (* | SensorDecl of sensor_desc *)
146 149
  (* | ActuatorDecl of actuator_desc *)
147
  | Open of string
150
  | Open of bool * string
148 151

  
149 152
type top_decl =
150 153
    {top_decl_desc: top_decl_desc;

Also available in: Unified diff