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