Module Kernel.Session_dir

module Session_dir: Parameter_sig.Filepath 

Directory in which session files are searched.


include Parameter_sig.S
val is_empty : unit -> bool

Whether the Filepath is empty.