Basic_alloc | |
Calloc | |
Free | |
Malloc |
Mem_utils |
receives the type of the lvalue and the types of the arguments received
for a call to the function and returns
true iff they are correct.
|
Memcmp | |
Memcpy | |
Memmove | |
Memset |
Basic_blocks | string_of_typ t returns a name generated from the given t .
|
Global_context |
The purpose of this module global definitions when it is needed by
instantiation modules.
|
Instantiate |
Builds a
Instantiator module (used by Transform ) from a Generator_sig
|
Instantiator_builder |
Builds a
Instantiator module (used by Transform ) from a Generator_sig
|
Options |
Instantiate transformation enabled
|
Register | |
Transform |
Module for AST transformation
|