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

small change in sigs

Browse source
This commit is contained in:
Simon Cruanes 2022-10-23 23:51:42 -04:00
parent 7fbfb8439b
commit 4a5ccffc7a
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/sigs/sidekick_sigs.ml
View file

@ -69,6 +69,15 @@ module type BACKTRACKABLE0 = sig
(** [pop_levels st n] removes [n] levels *) (** [pop_levels st n] removes [n] levels *)
end end
module type BACKTRACKABLE0_CB = sig
include BACKTRACKABLE0
type elt
val pop_levels : t -> int -> f:(elt -> unit) -> unit
(** [pop_levels st n ~f] removes [n] levels and calls [f] on each element *)
end
module type BACKTRACKABLE1 = sig module type BACKTRACKABLE1 = sig
type 'a t type 'a t