def G

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64ratio.bend:55

import Base
import bend-collections-laws-math@1.0.0.0/spec/lib/common.bend as C
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/num.bend as NE

55def G(+s: Bool, +V: Nat, +k: Nat, +j: Nat) -> Result<&2, &2, NE.NumError, SF.Rat>:
56  Done{SF.Rat{s, C.high(j, V), Nat.sub(k, j)}}