Make.Clause
type t
val make : Atom.t -> Literal.t list -> t
val make_fact : Atom.t -> t
val equal : t -> t -> bool
val pp : t Fmt.t