Frama-C:
Kernel
Analysis scripts
Plug-ins:
Alias
Aorai
Api Generator
Callgraph
Constant Propagation
Dive
E-ACSL
Eva
From
Impact
Inout
Instantiate
Loop Analysis
Markdown Report
Metrics
Nonterm
Obfuscator
Occurrence
PDG
Ptests
Reduc
Region
Report
Rtegen
Scope
Security Slicing
Server
Slicing
Sparecode
Studia
Users
WP
Libraries:
Qed
Frama-C
Features
Documentation
Publications
Blog
Jobs
Contact
Download
API
>
Frama_c_kernel
>
Datatype
>
Ty
Frama-C API -
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
Frama-C