Project

General

Profile

Revision 4f26dcf5 src/corelang.mli

View differences:

src/corelang.mli
156 156

  
157 157
(** Annotation expression related functions *)
158 158
val mkeexpr: Location.t ->  expr -> eexpr
159
val merge_node_annot: node_annot -> node_annot -> node_annot 
159
val merge_contracts:  contract_desc -> contract_desc -> contract_desc 
160 160
val extend_eexpr: (quantifier_type * var_decl list) list -> eexpr -> eexpr
161 161
val update_expr_annot: ident -> expr -> expr_annot -> expr
162 162
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)

Also available in: Unified diff