package facile

  1. Overview
  2. Docs

Module Facile.ReifySource

Sourceval boolean : ?delay_on_negation:bool -> Cstr.t -> Var.Fd.t
Sourceval cstr : ?delay_on_negation:bool -> Cstr.t -> Var.Fd.t -> Cstr.t
Sourceval (||~~) : Cstr.t -> Cstr.t -> Cstr.t
Sourceval (&&~~) : Cstr.t -> Cstr.t -> Cstr.t
Sourceval (<=>~~) : Cstr.t -> Cstr.t -> Cstr.t
Sourceval xor : Cstr.t -> Cstr.t -> Cstr.t
Sourceval not : Cstr.t -> Cstr.t
Sourceval (=>~~) : Cstr.t -> Cstr.t -> Cstr.t