Module Comparator.S_to_S1Source

Parameters

module S : S

Signature

Sourcetype 'a t = S.t
Sourcetype comparator_witness = S.comparator_witness
Sourceval comparator : ('a t, comparator_witness) comparator