def st_fin
import bend-collections-laws-crypto@1.0.0.0/src/math/generic.bend as Genericimport Base
165def st_fin(-T: Data, st: T & Bool) -> Maybe<&2, T>:
166 match st:
167 case Tuple{+a, +aok}:
168 fits(T, Bool.not(aok), a)
import bend-collections-laws-crypto@1.0.0.0/src/math/generic.bend as Genericimport Base
165def st_fin(-T: Data, st: T & Bool) -> Maybe<&2, T>:
166 match st:
167 case Tuple{+a, +aok}:
168 fits(T, Bool.not(aok), a)