Module Cilutil.KinstrComparable


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