Project

General

Profile

Revision ae08b9fc src/corelang.mli

View differences:

src/corelang.mli
200 200
val push_negations: ?neg:bool -> expr -> expr
201 201

  
202 202
val add_pre_expr: ident list -> expr -> expr
203
                                            (* Local Variables: *)
203

  
204
val mk_eq: Location.t -> expr -> expr -> expr 
205
(* Local Variables: *)
204 206
(* compile-command:"make -C .." *)
205 207
(* End: *)

Also available in: Unified diff