package coq-core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

The type frozen is a snapshot of the states of all the registered tables of the system.

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 project_from_summary : frozen -> 'a Dyn.tag -> 'a
OCaml

Innovation. Community. Security.