def num
import bend-kit-notch@0.4.0.0/notch.bend as Notchimport Base
76def num(k: String, n: U32) -> Field:
77 Field{k, Num{n}}
import bend-kit-notch@0.4.0.0/notch.bend as Notchimport Base
76def num(k: String, n: U32) -> Field:
77 Field{k, Num{n}}