Module Bool_lit_intf.S.Set

module Set: CCSet.S  with type elt = t