simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-28 12:24:50 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

improve Int_id for tracing

Browse source
This commit is contained in:
Simon Cruanes 2022-10-12 12:20:20 -04:00
parent 2726a3afe2
commit 4b359a40f2
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 3 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/trace/sidekick_trace.ml
View file

@ -18,10 +18,8 @@
(** {2 Exports} *) (** {2 Exports} *)
module Entry_view = Entry_view
module Sink = Sink module Sink = Sink
module Source = Source module Source = Source
module Entry_id = Entry_id module Entry_id = Entry_id
type entry_id = Entry_id.t type entry_id = Entry_id.t
type entry_view = Entry_view.t = ..

6
src/util/Int_id.ml
View file

@ -3,9 +3,8 @@
module type S = sig module type S = sig
type t = private int type t = private int
val equal : t -> t -> bool include Sidekick_sigs.EQ_ORD_HASH_PRINT with type t := t
val compare : t -> t -> int
val hash : t -> int
val to_int : t -> int val to_int : t -> int
val of_int_unsafe : int -> t val of_int_unsafe : int -> t
end end
@ -17,6 +16,7 @@ module Make () = struct
let equal : t -> t -> bool = ( = ) let equal : t -> t -> bool = ( = )
let compare : t -> t -> int = compare let compare : t -> t -> int = compare
let hash = CCHash.int let hash = CCHash.int
let pp = CCFormat.int
let[@inline] to_int i = i let[@inline] to_int i = i
external of_int_unsafe : int -> t = "%identity" external of_int_unsafe : int -> t = "%identity"