module PostDomDb: functor (X : MakePostDomArg) -> functor (DbPostDom : Db.PostdominatorsTypes.Sig) -> sig .. end
functor (
X
:
MakePostDomArg
) ->
DbPostDom
Db.PostdominatorsTypes.Sig
sig
end
include struct ... end