def beq

minebender-game@1.0.0.0 · proof_solver.bend:153

import Base

153def beq(a: Bool, b: Bool) -> Bool:
154  match a b:
155    case True{} True{}:
156      True{}
157    case False{} False{}:
158      True{}
159    case True{} False{}:
160      False{}
161    case False{} True{}:
162      False{}