Up
Module
Sette.S.Ord
module
Ord:
Set.OrderedType
with type t=elt
The ordering module used for this set module.