def not_empty_of

mlbend-metrics@0.1.0.0 · main.bend:184

import Base

184# the number of pairs to walk, or why there are none
185def not_empty_of(z: Bool, n: Nat) -> Result<&1, &1, Bad, Nat>:
186  match z:
187    case True{}:
188      Fail{Empty{}}
189    case False{}:
190      Done{n}