Project

General

Profile

Revision 7659bbb1 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
200 201
(* Local Variables: *)
201 202
(* compile-command:"make -C .." *)
202 203
(* End: *)

Also available in: Unified diff