Project

General

Profile

Revision 66359a5e src/lustreSpec.ml

View differences:

src/lustreSpec.ml
8 8
(*  version 2.1.                                                    *)
9 9
(*                                                                  *)
10 10
(********************************************************************)
11

  
11
  
12 12
type ident = Utils.ident
13 13
type rat = Utils.rat
14 14
type tag = Utils.tag
......
63 63
     var_dec_clock: clock_dec;
64 64
     var_dec_const: bool;
65 65
     var_dec_value: expr option;
66
     mutable var_parent_nodeid: ident option;
66 67
     mutable var_type: Types.type_expr;
67 68
     mutable var_clock: Clocks.clock_expr;
68 69
     var_loc: Location.t}
......
184 185
     nodei_outputs: var_decl list;
185 186
     nodei_stateless: bool;
186 187
     nodei_spec: node_annot option;
188
     (* nodei_annot: expr_annot list; *)
187 189
     nodei_prototype: string option;
188 190
     nodei_in_lib: string list;
189 191
    }

Also available in: Unified diff