		Search-engine friendly clone of the ACL2 documentation.

Specialize-implementation

Implementation of specialize.

Param-declon-list-remove-param-by-ident: Remove a parameter from a list of parameter declarations.
Specialize-fundef: Transform a function definition.
Specialize-extdecl: Transform an external declaration.
Specialize-filepath-transunit-map: Transform a filepath.
Specialize-extdecl-list: Transform a list of external declarations.
Specialize-transunit-ensemble: Transform a translation unit ensemble.
Param-declon-to-decl: Convert a parameter declaration to a regular declaration.
Specialize-transunit: Transform a translation unit.
Ident-from-param-declon: Get the identifier from a parameter declaration.
Specialize-event-generation: Event generation performed by specialize.
Specialize-input-processing: Input processing performed by specialize.