def F0

bend-kit-collections@0.1.4.1 · nat_order.bend:166

import Base

166def F0(v: Vs) -> {F(L{0n, 0n, 0n, 0n, 0n}, v) == 0n : Nat}:
167  match v:
168    case VS{v1, v2, v3, v4}:
169      {==}