Functor Comparator.S_to_S1

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

type 'a t 

type comparator_witness 

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