Dmc__.Dmc_datalog
module type S = sig ... end
module Make : functor (Signify : Dmc__.Dmc_rdf_signify.S) -> S