Msat_sat.Clause
type t
= clause
val atoms : t -> atom array
val atoms_l : t -> atom list
val equal : t -> t -> bool
val name : t -> string
val pp : t Msat.Solver_intf.printer
module Tbl : Hashtbl.S with type Tbl.key = t