package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Instantiate.TransformSource

Sourceval 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.