package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a summary_declaration = {
  1. freeze_function : marshallable:bool -> 'a;
  2. unfreeze_function : 'a -> unit;
  3. init_function : unit -> unit;
}
val declare_summary : string -> 'a summary_declaration -> unit
module Dyn : Dyn.S
val declare_summary_tag : string -> 'a summary_declaration -> 'a Dyn.tag
val ref : ?freeze:(marshallable:bool -> 'a -> 'a) -> name:string -> 'a -> 'a ref
val ref_tag : ?freeze:(marshallable:bool -> 'a -> 'a) -> name:string -> 'a -> 'a ref * 'a Dyn.tag
module Local : sig ... end
val declare_ml_modules_summary : (string * string option) list summary_declaration -> unit
val nop : unit -> unit
type frozen
val empty_frozen : frozen
val freeze_summaries : marshallable:bool -> 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
val dump : unit -> (int * string) list