Project

General

Profile

Revision 7ecfca04 src/corelang.mli

View differences:

src/corelang.mli
27 27
val mkassert: Location.t -> expr -> assert_t
28 28
val mktop_decl: Location.t -> ident -> bool -> top_decl_desc -> top_decl
29 29
val mkpredef_call: Location.t -> ident -> expr list -> expr
30
val mkpredef_unary_call: Location.t -> ident -> expr -> expr
30 31
val mk_new_name: (ident -> bool) -> ident -> ident
31 32
val mk_new_node_name: node_desc -> ident -> ident
32 33
val mktop: top_decl_desc -> top_decl

Also available in: Unified diff