~/jendhub

def of_pat

bend-collections-laws-crypto@1.0.0.0 · spec/math/f64.bend:441

import bend-collections-laws-crypto@1.0.0.0/spec/math/f64.bend as F64
import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F

441def of_pat(+s: Bool, +p: Nat) -> F.F64:
442  encode(s, C.high(52n, p), C.low(52n, p))

Uses (6)

Used by (1)