Up
–
frama-c-wp
»
Wp
»
WpContext
»
GeneratorID
» 1-K
Parameter
GeneratorID.1-K
type
t
val
compare :
t
->
t
->
int
val
pretty :
Stdlib
.Format.formatter
->
t
->
unit