def falses

bendtorch-core@0.1.0.0 · src/autograd/backward_LAWS.bend:62

import Base

62def falses(count: Nat) -> List<&2, Bool>:
63  match count:
64    case 0n:
65      Nil{}
66    case 1n+rest:
67      False{} <> falses(rest)