Module Wp.CfgCompiler.Cfg.Node.Set

module Set: Qed.Idxset.S  with type elt = t