Make.Literal
type t
val make_positive : Atom.t -> t
val make_negative : Atom.t -> t
val equal : t -> t -> bool
val pp : t Fmt.t