module KinstrComparable: Graph.Sig.COMPARABLE with type t = Cil_types.kinstr
Graph.Sig.COMPARABLE
with type t = Cil_types.kinstr