package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3

Sourcetype t = private string

Sourceval make : string list -> t

make path_components build a path from its components

Sourceval relative : t -> string -> t

relative path string build a path relative to an existing one

Sourceval choose_existing : t list -> t option

choose_existing paths will return Some f for the first file f in paths that exists, None otherwise.