Source file `stable_int63able.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
open! Import

module type S = sig
  include Stable_module_types.S0

  (** [to_int63] and [of_int63_exn] encode [t] for use in wire protocols; they are
      intended to avoid allocation on 64-bit machines and should be implemented
      efficiently.  [of_int63_exn (to_int63 t) = t] for all [t]; [of_int63_exn] raises for
      inputs not produced by [to_int63]. *)
  val to_int63 : t -> Int63.t

  val of_int63_exn : Int63.t -> t
end

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

    val to_int63 : t -> Int63.t
    val of_int63_exn : Int63.t -> t
  end
end