module Kwre:sig
..end
Re
have implemented all this previously-missing functionality.It's against my policy to have this library depend on any 3rd-party libraries whose absence might prevent its compilation. I also want to avoid the complexities of conditional compilation.
So, this module is functorized to push the dependency on Re
into the app that needs this module. Hence the functor.
To use this module, just say:
module Kwre = Kwre.Make (Re)
or perhaps
module Re = struct include Re include Kwre.Make (Re) end
module type ReType =sig
..end
Make
.
module Make:
Re
.