| Did you know ... | Search Documentation: |
 | Predicate jpl_type_fits_type/2 |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- jpl_type_fits_type(+TypeX:type, +TypeY:type) is semidet[private]
- TypeX and TypeY must each be proper JPL types.
This succeeds iff TypeX is assignable to TypeY.