/** * Loads, but does not initialize, all type manifolds managed by this module. * * @return The complete set of type manifolds this module manages. */ default SortedSet<ITypeManifold> loadTypeManifolds() { // note type manifolds are sorted via getTypeManifoldSorter(), hence the use of TreeSet SortedSet<ITypeManifold> typeManifolds = new TreeSet<>( getTypeManifoldSorter() ); loadBuiltIn( typeManifolds ); loadRegistered( typeManifolds ); return typeManifolds; }