Up – Package index » shell » Library shell.shell_internal » Shell_internal

Module `Shell_internal`Source

Sourceval extra_path : string list ref

Sourceval whoami : ?real:bool -> unit -> string

Sourceval is_executable : string -> bool

Sourceval which : ?use_extra_path:bool -> string -> string option

Sourceval path_expand : ?use_extra_path:bool -> string -> string