Frama-C:
Plug-ins:
Libraries:

Frama-C API - Transform

val register : (module Instantiator_builder.Generator_sig) -> unit

Registers a new Instantiator to the visitor from the Generator_sig module of this instantiator. Each new instantiator function generator should call this globally.