Infix (gillian.Gil_syntax.Formula.Infix)

val fnot : t -> t

Same as Not

val forall : (string * Gillian.Gil_syntax.Type.t option) list -> t -> t

Same as Forall

val (#||) : t -> t -> t

Same as Or

val (#&&) : t -> t -> t

Same as And

val (#==) : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> t

Same as Eq

val (#<) : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> t

Same as ILess

val (#>) : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> t

a #> b if Not ILess (b, a)

val (#<=) : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> t

Same as ILessEq

val (#>=) : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> t

a #>= b is Not ILess (b, a)

val (#<.) : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> t

Same as FLess

val (#>.) : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> t

a #>. b if Not FLess (b, a)

val (#<=.) : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> t

Same as FLessEq

val (#>=.) : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> t

a #>=. b is Not FLess (b, a)

val (#=>) : t -> t -> t