Uses of Class
wytp.types.SubtypeOperator.Result

Packages that use SubtypeOperator.Result

Package	Description
wytp.types
wytp.types.subtyping

Uses of SubtypeOperator.Result in wytp.types

Methods in wytp.types that return SubtypeOperator.Result

Modifier and Type	Method and Description
SubtypeOperator.Result	SubtypeOperator.isSubtype(WyalFile.Type lhs, WyalFile.Type rhs) Determine whether the rhs type is a subtype of the lhs (denoted lhs :> rhs).
static SubtypeOperator.Result	SubtypeOperator.Result.valueOf(String name) Returns the enum constant of this type with the specified name.
static SubtypeOperator.Result[]	SubtypeOperator.Result.values() Returns an array containing the constants of this enum type, in the order they are declared.

Uses of SubtypeOperator.Result in wytp.types.subtyping

Methods in wytp.types.subtyping that return SubtypeOperator.Result

Modifier and Type	Method and Description
SubtypeOperator.Result	CoerciveSubtypeOperator.isSubtype(WyalFile.Type parent, WyalFile.Type child)