Parameter Make_comparator.1-S

type k
val compare : k -> k -> int