def fs

bend-osdev-gf@0.1.1.0 · PROOF.bend:540

import Base

540def fs(n: Nat) -> List<&2, Bool>:
541  match n:
542    case 0n:
543      Nil{}
544    case 1n+k:
545      Con{False{}, fs(k)}