package ojs_filetree
Module Ojs_filetree_server.FilesSource
File utilities for filetree, server side
Source
val file_trees_of_dir :
?filepred:(Ojs_base.Path.t -> bool) ->
Ojs_base.Path.t ->
[> `Dir of string * 'a | `File of string * string ] list as 'a