module BatPathGen:Filepath handling.sig
..end
Paths can be used with different string implementations:
Path.OfRope
to use paths built of validated UTF-8 strings (Rope.t
)Path.OfString
to use paths based on primitive string
type. Actual strings may use UTF-8 encoding.module type StringType =sig
..end
module type PathType =sig
..end
Path
functionality have this module type.
module Make:
S
.
module OfString:PathType
with type ustring = string and type uchar = char