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