package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c

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.