pub fn compare_normal(index: u32, tcs: TCS, subtype: Value, supertype: Value) -> TCM<TCS> {
    let (inferred_normal, expected_normal) = ReadBack::normal(index, subtype, supertype);
    if inferred_normal == expected_normal {
        Ok(tcs)
    } else {
        Err(TCE::ReadBackTypeMismatch(inferred_normal, expected_normal))
    }
}
/// Read back the type values and do syntactic comparison.
Read back the type values and do syntactic comparison.
Read back the type values and do syntactic comparison .
pub fn compare_normal(index: u32, tcs: TCS, subtype: Value, supertype: Value) -> TCM<TCS> {
    let (inferred_normal, expected_normal) = ReadBack::normal(index, subtype, supertype);
    if inferred_normal == expected_normal {
        Ok(tcs)
    } else {
        Err(TCE::ReadBackTypeMismatch(inferred_normal, expected_normal))
    }
}
pub fn compare_normal ( index : u32 , tcs : TCS , subtype : Value , supertype : Value ) -> TCM < TCS > { let ( inferred_normal , expected_normal ) = ReadBack :: normal ( index , subtype , supertype ) ; if inferred_normal == expected_normal { Ok ( tcs ) } else { Err ( TCE :: ReadBackTypeMismatch ( inferred_normal , expected_normal ) ) } }
Read back the type values and do syntactic comparison.
Read back the type values and do syntactic comparison .
index
u32
tcs
TCS
subtype
Value
supertype
Value
index
u32
tcs
TCS
subtype
Value
supertype
Value