def secfrac.fin
import bend-kit-time@0.3.0.0/time.bend as Timeimport Base
463def secfrac.fin(vs: List<&2, U32>, r: U32 & U32 & String) -> Maybe<&2, P>:
464 (k, n, t) = r
465 lit.if(U32.is_gt(k, 0), Con{n, vs}, t)
import bend-kit-time@0.3.0.0/time.bend as Timeimport Base
463def secfrac.fin(vs: List<&2, U32>, r: U32 & U32 & String) -> Maybe<&2, P>:
464 (k, n, t) = r
465 lit.if(U32.is_gt(k, 0), Con{n, vs}, t)