Summary.Synterp
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