Uses of Class
manifold.ext.ExtensionManifold

Packages that use ExtensionManifold

Package	Description
manifold.ext

Uses of ExtensionManifold in manifold.ext

Constructors in manifold.ext with parameters of type ExtensionManifold

Constructor and Description
ExtensionTransformer(ExtensionManifold sp, manifold.internal.javac.TypeProcessor typeProcessor)