From 49d2d398b83979056b082ebb31558b2380c7835f Mon Sep 17 00:00:00 2001 From: Manuel Cillero Date: Thu, 21 Mar 2024 18:47:06 +0100 Subject: [PATCH] =?UTF-8?q?=F0=9F=9A=A7=20Code=20tweak?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/core/component/mixed.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/core/component/mixed.rs b/src/core/component/mixed.rs index e1fbe18d..7cc90896 100644 --- a/src/core/component/mixed.rs +++ b/src/core/component/mixed.rs @@ -207,6 +207,10 @@ impl MixedComponents { // MixedComponents GETTERS. + pub fn len(&self) -> usize { + self.0.len() + } + pub fn is_empty(&self) -> bool { self.0.is_empty() }