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