Project

General

Profile

Revision 81229f63 src/corelang.mli

View differences:

src/corelang.mli
197 197

  
198 198
val eq_has_arrows: eq -> bool
199 199

  
200
val  push_negations: ?neg:bool -> expr -> expr
201
(* Local Variables: *)
200
val push_negations: ?neg:bool -> expr -> expr
201

  
202
val add_pre_expr: ident list -> expr -> expr
203
                                            (* Local Variables: *)
202 204
(* compile-command:"make -C .." *)
203 205
(* End: *)

Also available in: Unified diff