{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// In other words, it is (uniquely) determined as follows:
    /// The offset is given by `RHS.rem_euclid(LHS::BITS)`.
    /// - it is "equal modulo LHS::BITS" to the RHS