From 291ff92c96f492fc8e549de0a4cc226e26d461d8 Mon Sep 17 00:00:00 2001 From: dzaima Date: Mon, 28 Apr 2025 22:17:04 +0300 Subject: [PATCH] mask_scale --- src/singeli/src/mask.singeli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/singeli/src/mask.singeli b/src/singeli/src/mask.singeli index 711faa87..e1bd7569 100644 --- a/src/singeli/src/mask.singeli +++ b/src/singeli/src/mask.singeli @@ -40,6 +40,8 @@ def mask_first{n} = { def mask{x:X if any_int{x}} = tail{n, x} def mask{0} = 1 } +def mask_scale{M if ~M{0}, sc} = M +def mask_scale{M if M{0}, sc} = mask_first{M{'count'}*sc}