def c4.i

bend-kit-collections@0.1.4.1 · PROOF.bend:110

import Base
import bend-mathlib@0.7.4.0/bool.bend as MBool

110def c4.i(
111  +a: Bool, +b: Bool, +c: Bool, +d: Bool, ea: {a == True{} : Bool},
112  eb: {b == True{} : Bool}, ec: {c == True{} : Bool}, ed: {d == True{} : Bool}
113) -> {Bool.and(Bool.and(Bool.and(a, b), c), d) == True{} : Bool}:
114  MBool.and_eq_true(Bool.and(Bool.and(a, b), c), d, MBool.and_eq_true(Bool.and(a, b), c, MBool.and_eq_true(a, b, ea, eb), ec), ed)