Instantiate plugin


Directory instantiate

Section Stdlib (in instantiate/stdlib)


Basic_alloc
Calloc
Free
Malloc

Section String (in instantiate/string)


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

Directory plugins

Section Instantiate (in plugins/instantiate)


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