Function minitt::check::subtype::compare_normal

pub fn compare_normal(
    index: u32, 
    tcs: TCS, 
    subtype: Value, 
    supertype: Value
) -> TCM<TCS>

Read back the type values and do syntactic comparison.