Up
–
frama-c-codex
»
Core
» Globals_needed
Module
Core.Globals_needed
module
Make
(
Main
:
sig
...
end
) :
sig
...
end