Uses of Interface
wytp.types.SubtypeOperator

Packages that use SubtypeOperator

Package	Description
wytp.types.subtyping

Uses of SubtypeOperator in wytp.types.subtyping

Classes in wytp.types.subtyping that implement SubtypeOperator

Modifier and Type	Class and Description
class	CoerciveSubtypeOperator