Previous
Up
Next
Module
Special_hooks
module
Special_hooks:
sig
..
end
Nothing is exported: just register some special hooks for Frama-C.
Since
Beryllium-20090601-beta1