def Float64.lt_one

bend-collections-laws-math@1.0.0.0 · spec/math/random.bend:125

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F
import bend-collections-laws-math@1.0.0.0/src/math/random/rand.bend as R

125def Float64.lt_one(+x: W.U64) -> Type:
126  {F.lt(R.to_float(x), F.one()) == True{} : Bool}