I have two files (
a.mli defines signatrues for a structure
a.ml actaully is written with structure body of
module type ABC = sig ... end
module type DEF = sig ... end
module Abc (S : DEF) : ABC = struct ... end
However, this code is not compiled with unbound module
DEF. so, it forces to copy of
DEF signature into
If I need some additional function in
DEF, I should also update
mli.Tthis is duplicated work.
How can I improve it?