fn normal(index: u32, me: Self, other: Self) -> (Self::NormalForm, Self::NormalForm) {
        let me_read_back = me.read_back(index);
        let other_read_back = other.read_back(index);
        (me_read_back, other_read_back)
    }
/// `eqNf` in Mini-TT, but returning normal forms for error reporting.<br/>
/// Whether two structures are equivalent up to normal form.
`eqNf` in Mini-TT, but returning normal forms for error reporting.
Whether two structures are equivalent up to normal form.
` eqNf ` in Mini - TT but returning normal forms for error reporting . Whether two structures are equivalent up to normal form .
fn normal(index: u32, me: Self, other: Self) -> (Self::NormalForm, Self::NormalForm) {
        let me_read_back = me.read_back(index);
        let other_read_back = other.read_back(index);
        (me_read_back, other_read_back)
    }
fn normal ( index : u32 , me : Self , other : Self ) -> ( Self :: NormalForm , Self :: NormalForm ) { let me_read_back = me . read_back ( index ) ; let other_read_back = other . read_back ( index ) ; ( me_read_back , other_read_back ) }
`eqNf` in Mini-TT, but returning normal forms for error reporting.<br/>
Whether two structures are equivalent up to normal form.
` eqNf ` in Mini - TT but returning normal forms for error reporting . <br / > Whether two structures are equivalent up to normal form .
index
u32
me
Self
other
Self
index
u32
me
Self
other
Self