def put_dec.list
import lawful-fields@0.1.1.0/fields.bend as Fieldsimport Base
105def put_dec.list(+n: U32) -> List<&2, U32>:
106 put_dec.digits(10n, U32.is_lt(n, 10), n, Nil{})
import lawful-fields@0.1.1.0/fields.bend as Fieldsimport Base
105def put_dec.list(+n: U32) -> List<&2, U32>:
106 put_dec.digits(10n, U32.is_lt(n, 10), n, Nil{})