private Result allSubTypes ( List < PType > sub , List < PType > sup , boolean invignore ) { if ( sub . size ( ) != sup . size ( ) ) { return Result . No ; } else { for ( int i = 0 ; i < sub . size ( ) ; i ++ ) { if ( searchSubType ( sub . get ( i ) , sup . get ( i ) , invignore ) == Result . No ) { return Result . No ; } } } return Result . Yes ; }
Compare two type lists for placewise subtype compatibility . This is used to check ordered lists of types such as those in a ProductType or parameters to a function or operation .