Search GODI:
| File lib/ocaml/pkg-lib/facile/fcl_reify.cmi_pretty | GODI Package godi-facile |
| Library facile |
| fcl_reify.cmi_pretty | fcl_reify.mli | Sources |
val boolean : ?delay_on_negation:bool -> Fcl_cstr.t -> Fcl_var.Fd.t val cstr : ?delay_on_negation:bool -> Fcl_cstr.t -> Fcl_var.Fd.t -> Fcl_cstr.t val ( &&~~ ) : Fcl_cstr.t -> Fcl_cstr.t -> Fcl_cstr.t val ( ||~~ ) : Fcl_cstr.t -> Fcl_cstr.t -> Fcl_cstr.t val ( =>~~ ) : Fcl_cstr.t -> Fcl_cstr.t -> Fcl_cstr.t val ( <=>~~ ) : Fcl_cstr.t -> Fcl_cstr.t -> Fcl_cstr.t val xor : Fcl_cstr.t -> Fcl_cstr.t -> Fcl_cstr.t val not : Fcl_cstr.t -> Fcl_cstr.t
