package core_kernel

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

Source file int.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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
open! Import

module Stable = struct
  module V1 = struct
    module T = struct
      type t = int [@@deriving hash, bin_io, sexp]

      include (
        Base.Int :
          Base.Comparable.S
        with type t := t
        with type comparator_witness = Base.Int.comparator_witness)
    end

    include T
    include Comparable.Stable.V1.Make (T)
  end
end

type t = int [@@deriving typerep]

module Z =
  Identifiable.Extend
    (Base.Int)
    (struct
      type t = int [@@deriving bin_io]
    end)

include (
  Z :
    module type of struct
    include Z
  end
  with module Replace_polymorphic_compare := Z.Replace_polymorphic_compare)

module Replace_polymorphic_compare = Base.Int

module Hex = struct
  type nonrec t = t [@@deriving typerep, bin_io]

  include (
    Base.Int.Hex :
      module type of struct
      include Base.Int.Hex
    end
    with type t := t)
end

include (
  Base.Int :
    module type of struct
    include Base.Int
  end
  with type t := t
  with module Hex := Base.Int.Hex)

let quickcheck_generator = Base_quickcheck.Generator.int
let quickcheck_observer = Base_quickcheck.Observer.int
let quickcheck_shrinker = Base_quickcheck.Shrinker.int
let gen_incl = Base_quickcheck.Generator.int_inclusive
let gen_uniform_incl = Base_quickcheck.Generator.int_uniform_inclusive
let gen_log_incl = Base_quickcheck.Generator.int_log_inclusive
let gen_log_uniform_incl = Base_quickcheck.Generator.int_log_uniform_inclusive
OCaml

Innovation. Community. Security.