Module Transform

module Transform: sig .. end
Module for AST transformation

val register : (module Instantiator_builder.Generator_sig) -> unit
Registers a new Instantiator to the visitor from the Generator_sig module. Each new instantiator generator should call this globally.
val transform : Cil_types.file -> unit
In all selected functions of the given file, for all function call, if there exists a instantiator module for this function, and the call is well-typed, replaces it with a call to the generated override function and inserted the generated function in the AST.