CristalCaveGem » LustreC

     mutable node_checks: Dimension.dim_expr list;

     node_asserts: assert_t list; 

     node_eqs: eq list;

     node_spec: LustreSpec.node_annot option;

     node_annot: LustreSpec.expr_annot option;}

     nodei_outputs: var_decl list;

     nodei_stateless: bool;

     nodei_spec: LustreSpec.node_annot option;}

type imported_fun_desc =

    {fun_id: ident;

     mutable fun_type: Types.type_expr;

     fun_inputs: var_decl list;

     fun_outputs: var_decl list;

     fun_spec: LustreSpec.node_annot option;}

type const_desc = 

    {const_id: ident; 

     const_loc: Location.t; 

  | Node of node_desc

  | Consts of const_desc list

  | ImportedNode of imported_node_desc

  (* | SensorDecl of sensor_desc *)

  (* | ActuatorDecl of actuator_desc *)

  | Open of string

  | No_main_specified

  | Unbound_symbol of ident

  | Already_bound_symbol of ident

val mktyp: Location.t -> type_dec_desc -> type_dec

val mkclock: Location.t -> clock_dec_desc -> clock_dec

val node_inputs: top_decl -> var_decl list

val node_from_name: ident -> top_decl

val is_generic_node: top_decl -> bool

val is_imported_node: top_decl -> bool

val consts_table: (ident, const_desc) Hashtbl.t

val sort_handlers : (label * 'a) list -> (label * 'a) list

val is_eq_expr: expr -> expr -> bool

val pp_error :  Format.formatter -> error -> unit