Make.1-F
type t
Type of atomic formulas.
val neg : t -> t
Negation of atomic formulas.
val fresh : unit -> t
Generate fresh formulas (that are different from any other).
val pp : Format.formatter -> t -> unit
Print the given formula.