Up – Package index » coq-core » Library coq-core.boot » Boot » Util

Module `Boot.Util`Source

Sourceval getenv_else : string -> (unit -> string) -> string

Sourceval check_file_else : dir:string -> file:string -> (unit -> string) -> string