Up
–
frama-c-wp
»
Wp
»
Clabels
» T
Module
Clabels.T
type
t
=
c_label
val
compare :
t
->
t
->
int