def sq_sign

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

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

501def sq_sign(+x: F64, negative: Bool, +e: Nat, +f: W.U64, zr: Bool) -> F64:
502  match zr:
503    case True{}:
504      x
505    case False{}:
506      sq_pos(e, f, negative)