package coq-core

  1. Overview
  2. Docs
package coq-core
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t

Type of directory paths. Essentially a list of module identifiers. The order is reversed to improve sharing. E.g. A.B.C is "C";"B";"A"

val equal : t -> t -> bool

Equality over directory paths.

val compare : t -> t -> int

Comparison over directory paths.

val hash : t -> int

Hash over directory paths.

val make : module_ident list -> t

Create a directory path. (The list must be reversed).

val repr : t -> module_ident list

Represent a directory path. (The result list is reversed).

val empty : t

The empty directory path.

val is_empty : t -> bool

Test whether a directory path is empty.

val dummy : t

Used in Safe_typing.empty_environment and similar

val hcons : t -> t

Hashconsing of directory paths.

val to_string : t -> string

Print non-empty directory paths as "coq_root.module.submodule"

val print : t -> Pp.t
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