Project

General

Profile

« Previous | Next » 

Revision 7ecfca04

Added by Pierre-Loïc Garoche about 5 years ago

  • ID 7ecfca04f31650f27ba5dec18a590311f47c15e8
  • Parent 84074455

Merged the master branch into mutation. Mutation of floats has been removed (temporarily)

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