def contains_append.or

minebender-game@1.0.0.0 · proof_cells.bend:52

import Base

52def contains_append.or(+a: Bool, +b: Bool, +c: Bool) ->
53  {Bool.or(a, Bool.or(b, c)) == Bool.or(Bool.or(a, b), c) : Bool}:
54  match a:
55    case True{}:
56      {==}
57    case False{}:
58      {==}