Up – Package index » directories » Library directories » Directories

Module `Directories`Source

Sourcemodule Base_dirs () : sig ... end

Sourcemodule User_dirs () : sig ... end

Sourcemodule Project_dirs (App_id : sig ... end) : sig ... end