Project

General

Profile

Revision 54d032f5 src/corelang.mli

View differences:

src/corelang.mli
19 19

  
20 20
val mktyp: Location.t -> type_dec_desc -> type_dec
21 21
val mkclock: Location.t -> clock_dec_desc -> clock_dec
22
val mkvar_decl: Location.t -> ident * type_dec * clock_dec * bool (* is const *) -> var_decl
22
val mkvar_decl: Location.t -> ?orig:bool -> ident * type_dec * clock_dec * bool (* is const *) -> var_decl
23 23
val var_decl_of_const: const_desc -> var_decl
24 24
val mkexpr: Location.t ->  expr_desc -> expr
25 25
val mkeq: Location.t -> ident list * expr -> eq
......
83 83
val expr_of_ident : ident -> Location.t -> expr
84 84
val expr_list_of_expr : expr -> expr list
85 85
val expr_of_expr_list : Location.t -> expr list -> expr
86
val call_of_expr: expr -> (ident * expr list * (ident * label) option)
86
val call_of_expr: expr -> (ident * expr list * expr option)
87 87
val expr_of_dimension: Dimension.dim_expr -> expr
88 88
val dimension_of_expr: expr -> Dimension.dim_expr
89 89
val dimension_of_const: Location.t -> constant -> Dimension.dim_expr

Also available in: Unified diff