Up
–
Index
»
frama-c
»
Frama_c_kernel_base
» Builder
Module
Frama_c_kernel_base.Builder
module
type
S
=
sig
...
end
type
t
=
(
module
S
)