Module SharedForest.Resumptions

A resumption store module for the weighting scheme being used

val empty : alt_max:int -> 'a resumptions
val regular_sorting : 'a resumptions -> bool
val is_empty : 'a resumptions -> bool
val extend_resumptions : computation:'a computation -> weight:w -> 'a resumptions -> 'a resumptions
val pp : Stdlib.Format.formatter -> 'a resumptions -> unit
val swap : ?current_computation:('a computation * w) -> 'a resumptions -> 'a computation * w * 'a resumptions