Module Dmc__.Dmc_rdf_signify
module type S = sig ... endmodule Make : functor (Crypto : Dmc_crypto.S) -> functor (FragmentGraph : Rdf_fragment_graph.S) -> S with module FragmentGraph = FragmentGraphDmc__.Dmc_rdf_signifymodule type S = sig ... endmodule Make : functor (Crypto : Dmc_crypto.S) -> functor (FragmentGraph : Rdf_fragment_graph.S) -> S with module FragmentGraph = FragmentGraph