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