def lgo_false

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/u64int.bend:281

import Base
import bend-collections-laws-math@1.0.0.0/spec/math/generic.bend as SG

281def lgo_false(xs: List<&2, Nat>, +acc: Nat) -> {SG.lcm_go(64n, xs, acc, False{}) == (acc, False{}) : Nat & Bool}:
282  match xs:
283    case Nil{}:
284      {==}
285    case Con{x, t}:
286      {==}