Function voile::check::expr::check_subtype

fn check_subtype(tcs: TCS, subtype: &Val, supertype: &Val) -> TCM

Check if subtype is a subtype of supertype.