Parameter Core_kernel__.Hash_set_intf.M.1-Elt

type t