Module CfgCompiler.Cfg.Node.Map

module Map: Qed.Idxmap.S  with type key = t