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