On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package typpx
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Runs PPX with type, using the above transformations. Conversion phases are as follows:
* firstUntypedTransformation of Parsetree * Typing by Typemod, conversion from Parsetree to Typedtree * TypedTransformation of Typedtree * Untyping by Untypeast module, back to Parsetree * lastUntypedTransformation of Parsetree
Parameters
module A : sig ... endSignature
On This Page