Module Patdiff__
module Compare_core : sig ... end
module Configuration : sig ... end
module Html_output : sig ... end
module Import : sig ... end
module Patdiff_core : sig ... end
Patdiff__module Compare_core : sig ... endmodule Configuration : sig ... endmodule Html_output : sig ... endmodule Import : sig ... endmodule Patdiff_core : sig ... end