Module Special_hooks

module Special_hooks: sig .. end
Nothing is export: just register some special hooks for Frama-C.
Since Beryllium-20090601-beta1
Consult the Plugin Development Guide for additional details.