Module Clause_intf.S.ClauseSet

module ClauseSet: CCSet.S  with type elt = t