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