Revision 54d032f5 src/corelang.mli
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