Frama-C:
Plug-ins:
Libraries:

Frama-C API - Instantiate

module Instantiator_builder : sig ... end

Builds a Instantiator module (used by Transform) from a Generator_sig

module Transform : sig ... end
module Global_context : sig ... end