package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type marshallable = [

]

type !'a summary_declaration = {

}

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 -> 'a -> 'a) -> name:string -> 'a -> 'a ref

val ref_tag : 
  ?freeze:(marshallable -> 'a -> 'a) ->
  name:string ->
  'a ->
  'a ref * 'a Dyn.tag

module Local : sig ... end

val declare_ml_modules_summary : 'a summary_declaration -> unit

val nop : unit -> unit

type frozen

val empty_frozen : frozen

val freeze_summaries : marshallable:marshallable -> 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

type frozen_bits

val freeze_summary : 
  marshallable:marshallable ->
  ?complement:bool ->
  string list ->
  frozen_bits

val unfreeze_summary : frozen_bits -> unit

val surgery_summary : frozen -> frozen_bits -> frozen

val project_summary : frozen -> ?complement:bool -> string list -> frozen_bits

val pointer_equal : frozen_bits -> frozen_bits -> bool

val dump : unit -> (int * string) list