def b2n_le

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64round.bend:333

import Base
import bend-collections-laws-math@1.0.0.0/spec/lib/common.bend as C
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as SF

333def b2n_le(+s: Bool) -> {C.fits(1n, SF.b2n(s)) == True{} : Bool}:
334  match s:
335    case True{}:
336      {==}
337    case False{}:
338      {==}