Up
–
frama-c-server
»
Server
»
Data
» IdentifiedType
Module type
Data.IdentifiedType
Datatype already identified by unique integers.
type
t
val
id :
t
->
int