Module S.Clause

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