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