ProofCells.contains_append.or: def of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/proof_cells.bend as ProofCells
Lines 52-58 of minebender-game@1.0.0.0/proof_cells.bend: https://jend.leeeet.dev/read.txt?path=minebender-game@1.0.0.0/proof_cells.bend&start_line=52&end_line=58

import Base

def contains_append.or(+a: Bool, +b: Bool, +c: Bool) ->
  {Bool.or(a, Bool.or(b, c)) == Bool.or(Bool.or(a, b), c) : Bool}:
  match a:
    case True{}:
      {==}
    case False{}:
      {==}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or