package core_kernel

  1. Overview
  2. Docs
package core_kernel
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file type_equal.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
include (
  Base.Type_equal :
    module type of struct
    include Base.Type_equal
  end
  with module Id := Base.Type_equal.Id)

module Id = struct
  include (
    Base.Type_equal.Id :
      module type of struct
      include Base.Type_equal.Id
    end
    with module Uid := Base.Type_equal.Id.Uid)

  module Uid = struct
    module Upstream = Base.Type_equal.Id.Uid
    include Base.Type_equal.Id.Uid

    include Comparable.Extend
        (Upstream)
        (struct
          type t = Base.Type_equal.Id.Uid.t [@@deriving sexp]
        end)

    include Hashable.Make (Upstream)
  end
end