package coq

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

Module DumpglobSource

Sourceval start_dump_glob : vfile:string -> vofile:string -> unit
Sourceval end_dump_glob : unit -> unit
Sourceval dump : unit -> bool
Sourcetype glob_output =
  1. | NoGlob
  2. | Feedback
  3. | MultFiles
  4. | File of string
Sourceval push_output : glob_output -> unit

push_output o temporarily overrides the output location to o. The original output can be restored using pop_output

Sourceval pop_output : unit -> unit

Restores the original output that was overridden by push_output

Sourceval pause : unit -> unit

Alias for push_output NoGlob

Sourceval continue : unit -> unit

Deprecated alias for pop_output

  • deprecated Use pop_output
Sourceval add_glob : ?loc:Loc.t -> Names.GlobRef.t -> unit
Sourceval add_glob_kn : ?loc:Loc.t -> Names.KerName.t -> unit
Sourceval dump_definition : Names.lident -> bool -> string -> unit
Sourceval dump_moddef : ?loc:Loc.t -> Names.ModPath.t -> string -> unit
Sourceval dump_modref : ?loc:Loc.t -> Names.ModPath.t -> string -> unit
Sourceval dump_reference : ?loc:Loc.t -> string -> string -> string -> unit
Sourceval dump_secvar : ?loc:Loc.t -> Names.Id.t -> unit
Sourceval dump_libref : ?loc:Loc.t -> Names.DirPath.t -> string -> unit
Sourceval dump_notation_location : (int * int) list -> Constrexpr.notation -> (Notation.notation_location * Notation_term.scope_name option) -> unit
Sourceval dump_binding : ?loc:Loc.t -> string -> unit
Sourceval dump_notation : Constrexpr.notation CAst.t -> Notation_term.scope_name option -> bool -> unit
Sourceval dump_constraint : Names.lname -> bool -> string -> unit
Sourceval dump_string : string -> unit
Sourceval type_of_global_ref : Names.GlobRef.t -> string
Sourceval add_constant_kind : Names.Constant.t -> Decls.logical_kind -> unit

Registration of constant information

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct