def xge

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64fmod.bend:341

import Base
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as SF
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F

341def xge(+x: F.F64) -> {Nat.is_le(1926n, SF.xexp(x)) == True{} : Bool}:
342  xge_c(x, Nat.is_eq(SF.efield(x), 0n), {==})