Functor Comparator.S_to_S1

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

type 'a t 

type comparator 

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