Parameter M.Elt

type t
type comparator_witness