Source file `stable_comparable.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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

module With_stable_witness = struct
  module type V1 = sig
    include Stable_module_types.With_stable_witness.S0

    include
      Comparable.Stable.V1.With_stable_witness.S
        with type comparable := t
        with type comparator_witness := comparator_witness
  end
end