Functor Comparator.S_to_S1

module S_to_S1: 
functor (S : S) -> S1 with type 'a t = S.t with type comparator = S.comparator
Parameters:
S : S

type 'a t 
type comparator 
val comparator : ('a t, comparator) Comparator.t_