let dependency_closure ?(maxdepth=max_int) ?(conjunctive=false) univ idlist = let pool = init_pool_univ univ in dependency_closure_cache ~maxdepth ~conjunctive pool idlist