type Wit

bend-collections-laws-math@1.0.0.0 · proofs/math/natural/gcd.bend:36

import Base

36# the quotients a / g and b / g, by Euclid's recursion
37type Wit is Data:
38  W{l: Nat, r: Nat}