Module Core_map_intf.S.Key

module Key: Comparator.S 

type t 

type comparator_witness 

val comparator : (t, comparator_witness) Comparator.comparator