Up
Module
ClauseContext.Set
module
Set:
CCSet.S
with type elt = t