minitt::check::subtype
pub fn check_subtype( index: u32, tcs: TCS, subtype: Value, supertype: Value) -> TCM<TCS>
Check if subtype is the subtype of supertype.
subtype
supertype