let strongdeps_univ ?(transitive=true) universe = Strongdeps_int.strongdeps_univ ~transitive universe