def il_false

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/natfuel.bend:276

import Base

276def il_false(+f: Nat, +q: Nat, +b: Nat, +p: Nat) -> {ilends(f, q, b, p, False{}) == True{} : Bool}:
277  match f:
278    case 0n:
279      {==}
280    case 1n+g:
281      {==}