Up
–
frama-c
»
Frama_c_kernel
»
Datatype
» Ty
Module type
Datatype.Ty
A type with its type value.
type
t
see
https://frama-c.com/download/frama-c-plugin-development-guide.pdf
val
ty :
t
Type.t
see
https://frama-c.com/download/frama-c-plugin-development-guide.pdf