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