module BatPathGen: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:PathTypewith type ustring = string and type uchar = char