def sm_eq

bend-collections-laws-crypto@1.0.0.0 · src/math/f64.bend:289

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

289def sm_eq(+s: Bool, +e: Nat, +fa: W.U64, +fb: W.U64, top: Bool) -> F64:
290  match top:
291    case True{}:
292      nan()
293    case False{}:
294      sm_eq2(s, e, fa, fb, cmp64(fa, fb))