Module SysExtra.Extra (.ml)


module Extra: sig .. end
Extra definitions.


Reading directories


val readdir_into_list : ?namefilter:(string -> bool) ->
?nameconverter:(string -> string) -> string -> string list
Reads a given directory, thus select and convert names.
Returns the list of formatted names