package core

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

Source file type_equal_intf.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
(*_ This is just to extend Uid with the standard hashability and binability primitives *)

module type Uid = sig
  include module type of struct
    include Base.Type_equal.Id.Uid
  end

  include Comparable.S with type t := t and type comparator_witness := comparator_witness
  include Hashable.S with type t := t
end

module type Id = sig
  include module type of struct
    include Base.Type_equal.Id
  end

  module Uid : Uid
end

module type Type_equal = sig
  (** @inline *)
  include module type of struct
    include Base.Type_equal
  end

  module Id : Id
end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct