def one

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

507def one(b: Bool) -> Nat:
508  match b:
509    case True{}:
510      1n
511    case False{}:
512      0n

Uses (2)