actually make try_first_hom return things

This commit is contained in:
dzaima 2025-03-11 23:44:15 +02:00
parent 85ef1038b8
commit d2ca600e02

View File

@ -230,6 +230,7 @@ def try_first_hom{x:[_]_} = {
ok = 1
val = ctz_ext{ex}
}
tup{val, ok}
}
def load{V=[k]E, ptr:*E } = load{*V~~ptr, 0}