sig
type
t =
Cil_types
.stmt
val
compare :
Cil_datatype
.
Stmt
.t
->
Cil_datatype
.
Stmt
.t
->
int
end