sig
  type t = Cil_types.kinstr
  val compare : Cilutil.Instr.t -> Cilutil.Instr.t -> int
  val equal : Cilutil.Instr.t -> Cilutil.Instr.t -> bool
  val hash : Cilutil.Instr.t -> int
  val pretty : Format.formatter -> Cilutil.Instr.t -> unit
  val loc : Cilutil.Instr.t -> Cil_types.location
end