Up
–
frama-c-codex
»
Core
»
Globals_needed
»
Make
» Main
Parameter
Make.Main
val
main :
Frama_c_kernel
.Kernel_function.t