simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-10 21:24:06 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

detail in core_logic

Browse source
This commit is contained in:
Simon Cruanes 2022-08-10 22:08:33 -04:00
parent 81f159d25d
commit 8777682e07
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/core-logic/term.ml
View file

@ -157,10 +157,10 @@ module Store = struct
(* TODO: use atomic? CCAtomic? *) (* TODO: use atomic? CCAtomic? *)
let n = ref 0 let n = ref 0
let create () : t = let create ?(size = 256) () : t =
let s_uid = !n in let s_uid = !n in
incr n; incr n;
{ s_uid; s_exprs = Hcons.create ~size:256 () } { s_uid; s_exprs = Hcons.create ~size () }
(* check that [e] belongs in this store *) (* check that [e] belongs in this store *)
let[@inline] check_e_uid (self : t) (e : term) = let[@inline] check_e_uid (self : t) (e : term) =

2
src/core-logic/term.mli
View file

@ -99,7 +99,7 @@ val ty : t -> t
module Store : sig module Store : sig
type t = store type t = store
val create : unit -> t val create : ?size:int -> unit -> t
end end
val type_ : store -> t val type_ : store -> t