Make.1-F
type t
Type of atomic formulas.
val neg : t -> t
Negation of atomic formulas.
val pp : t CCFormat.printer
Print the given formula.