package coq-core

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

Module Summary.InterpSource

include FrozenStage
Sourcetype frozen
Sourceval empty_frozen : frozen
Sourceval freeze_summaries : unit -> frozen
Sourceval make_marshallable : frozen -> frozen
Sourceval unfreeze_summaries : ?partial:bool -> frozen -> unit
Sourceval init_summaries : unit -> unit

Typed projection of the summary. Experimental API, use with CARE

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

Innovation. Community. Security.