Module `Summary.Interp`

include FrozenStage

type frozen

val empty_frozen : frozen
val freeze_summaries : unit -> frozen
val make_marshallable : frozen -> frozen
val unfreeze_summaries : ?⁠partial:bool -> frozen -> unit
val init_summaries : unit -> unit

val modify_summary : frozen -> 'a Dyn.tag -> 'a -> frozen
val project_from_summary : frozen -> 'a Dyn.tag -> 'a
val remove_from_summary : frozen -> 'a Dyn.tag -> frozen