Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Make
(M : sig ... end) :
FileSig.DIRECTORY_OPERATIONS with type t := M.pathmodule Make
(M : sig ... end) :
FileSig.DIRECTORY_OPERATIONS with type t := M.path