Source file `id.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
(** Unique identifiers. *)

open Stdint

module type S = sig
  type t = private Uint32.t
  val zero : t
  val succ : t -> t
  val uint32 : t -> Uint32.t
  val of_uint32 : Uint32.t -> t
  val pp : t Fmt.t
end

module Make ( ) : S = struct
  type t = Uint32.t
  let pp = Fmt.of_to_string Uint32.to_string
  let uint32 x = x
  let of_uint32 x = x
  let zero = Uint32.zero
  let succ = Uint32.succ
end