package coq

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

Module Aux_fileSource

Sourcetype aux_file
Sourceval load_aux_file_for : string -> aux_file
Sourceval empty_aux_file : aux_file
Sourceval get : ?loc:Loc.t -> aux_file -> string -> string
Sourceval set : ?loc:Loc.t -> aux_file -> string -> string -> aux_file
Sourcemodule H : Map.S with type key = int * int
Sourcemodule M : Map.S with type key = string
Sourceval contents : aux_file -> string M.t H.t
Sourceval aux_file_name_for : string -> string
Sourceval start_aux_file : aux_file:string -> v_file:string -> unit
Sourceval stop_aux_file : unit -> unit
Sourceval recording : unit -> bool
Sourceval record_in_aux_at : ?loc:Loc.t -> string -> string -> unit
Sourceval record_in_aux : string -> string -> unit
Sourceval record_in_aux_set_at : ?loc:Loc.t -> unit -> unit
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