Project

General

Profile

Revision b616fe7a src/corelang.mli

View differences:

src/corelang.mli
173 173
val mkassert: Location.t -> expr -> assert_t
174 174
val mktop_decl: Location.t -> top_decl_desc -> top_decl
175 175
val mkpredef_call: Location.t -> ident -> expr list -> expr
176
val mkpredef_unary_call: Location.t -> ident -> expr -> expr
177 176
val mk_new_name: var_decl list -> ident -> ident
178 177

  
179 178

  
......
218 217
val pp_error :  Format.formatter -> error -> unit
219 218

  
220 219
(* Caution, returns an untyped, unclocked, etc, expression *)
220
val is_tuple_expr : expr -> bool
221 221
val expr_of_ident : ident -> Location.t -> expr
222 222
val expr_list_of_expr : expr -> expr list
223 223
val expr_of_expr_list : Location.t -> expr list -> expr

Also available in: Unified diff