stable_comparable.ml
core
core.base_for_tests
core.top
core.validate
1 2 3 4 5 6 7 8 module type V1 = sig include Stable_module_types.S0 include Comparable.Stable.V1.S with type comparable := t with type comparator_witness := comparator_witness end
1 2 3 4 5 6 7 8
module type V1 = sig include Stable_module_types.S0 include Comparable.Stable.V1.S with type comparable := t with type comparator_witness := comparator_witness end