Project

General

Profile

Revision 2863281f src/corelang.mli

View differences:

src/corelang.mli
29 29
    string option (* parent id *)
30 30
  -> var_decl
31 31

  
32
val dummy_var_decl: ident -> Types.type_expr -> var_decl
33

  
32 34
val var_decl_of_const: ?parentid:ident option -> const_desc -> var_decl
33 35
val mkexpr: Location.t ->  expr_desc -> expr
34 36
val mkeq: Location.t -> ident list * expr -> eq

Also available in: Unified diff