package facile

  1. Overview
  2. Docs
val boolean : ?delay_on_negation:bool -> Cstr.t -> Var.Fd.t
val cstr : ?delay_on_negation:bool -> Cstr.t -> Var.Fd.t -> Cstr.t
val (||~~) : Cstr.t -> Cstr.t -> Cstr.t
val (&&~~) : Cstr.t -> Cstr.t -> Cstr.t
val (<=>~~) : Cstr.t -> Cstr.t -> Cstr.t
val xor : Cstr.t -> Cstr.t -> Cstr.t
val not : Cstr.t -> Cstr.t
val (=>~~) : Cstr.t -> Cstr.t -> Cstr.t
OCaml

Innovation. Community. Security.