module LvalComparable: sig .. end
sig
end
type t = Cil_types.lval
Cil_types.lval
val compare : t -> t -> int
t -> t -> int