Module LogtkSymbol.Base

module Base: sig .. end

val true_ : LogtkSymbol.t
val false_ : LogtkSymbol.t
val eq : LogtkSymbol.t
val neq : LogtkSymbol.t
val exists : LogtkSymbol.t
val forall : LogtkSymbol.t
val imply : LogtkSymbol.t
val equiv : LogtkSymbol.t
val xor : LogtkSymbol.t
val lambda : LogtkSymbol.t
val not_ : LogtkSymbol.t
val and_ : LogtkSymbol.t
val or_ : LogtkSymbol.t
val forall_ty : LogtkSymbol.t
val arrow : LogtkSymbol.t
val tType : LogtkSymbol.t
val wildcard : LogtkSymbol.t
$_ for type inference
val multiset : LogtkSymbol.t
type of multisets
val fresh_var : unit -> LogtkSymbol.t
New, unique symbol (cycles after 2^63 calls...)