Functor Compute.PostDomDb

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

include struct ... end