package subtypes
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- class ProveSubtypingRule extends SubtypingRule
Value Members
- object PredicateSubtypes
- object Subtyping