val hash_fold_t : Hash.state -> t -> Hash.stateval hash : t -> Hash.hash_valueinclude Comparator.S with type t := t
val comparator : (t, comparator_witness) Comparator.comparatorMake_using_comparator.1-Mval hash_fold_t : Hash.state -> t -> Hash.stateval hash : t -> Hash.hash_valueinclude Comparator.S with type t := tval comparator : (t, comparator_witness) Comparator.comparator