Parameter M.K

type t
type comparator_witness