SL.Infix
val (==) : Term.t -> Term.t -> t
Infix equality
val (!=) : Term.t -> Term.t -> t
Infix disequality
val (|->) : Term.t -> Term.t -> t
Infix pointer
val (|=>) : Term.t -> Term.t list -> t
val (=>) : t -> t -> t
Infix implication
val (<=>) : t -> t -> t
Infix iff
val (&!) : t -> t -> t
Infix guarded negation
val (&&) : t -> t -> t
Infix conjucntion
val (||) : t -> t -> t
Infix disjunction
val (*) : t -> t -> t
Infix separating conjunction