~/jendhub

def dexp

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

import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64
import Base

653def dexp(+x: F64) -> Nat:
654  dexp_z(exp_field(x), Nat.is_eq(exp_field(x), 0n))

Uses (5)

Used by (56)