def or_false

lawful-bytes@0.1.1.0 · proof_fast_w2.bend:105

import Base

105def or_false(-p: Nat, +b: Bool, +t: Word(p)) -> {WCon{Bool.or(b, False{}), t} == WCon{b, t} : Word(1n+p)}:
106  match b:
107    case False{}:
108      {==}
109    case True{}:
110      {==}