Module Frama_c_kernel_base.Special_hooks

Nothing is exported: just register some special hooks for Frama-C.