The result of a division: both the quotient and the remainder (one traversal
produces both), or the error. The word type is a parameter (one family for
every width), the same shape as StdOption / StdResult.
80family StdDivision : Type 0
81parameter erased stdDivisionWord : Type 0
82constructor StdDivisionSucceeded
83field unrestricted stdDivisionQuotient : stdDivisionWord
84field unrestricted stdDivisionRemainder : stdDivisionWord
85constructor StdDivisionFailed
86field unrestricted stdDivisionError : (family StdDivisionErrorCode)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.