Uses of Class
wytp.types.subtyping.CoerciveSubtypeOperator.Term

Packages that use CoerciveSubtypeOperator.Term

Package	Description
wytp.types.subtyping

Uses of CoerciveSubtypeOperator.Term in wytp.types.subtyping

Subclasses of CoerciveSubtypeOperator.Term in wytp.types.subtyping

Modifier and Type	Class and Description
protected static class	CoerciveSubtypeOperator.Atom<T extends WyalFile.Type.Atom>

Methods in wytp.types.subtyping with parameters of type CoerciveSubtypeOperator.Term

Modifier and Type	Method and Description
protected boolean	CoerciveSubtypeOperator.isVoidTerm(CoerciveSubtypeOperator.Term<?> lhs, CoerciveSubtypeOperator.Term<?> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions)
protected boolean	CoerciveSubtypeOperator.isVoidTerm(CoerciveSubtypeOperator.Term<?> lhs, CoerciveSubtypeOperator.Term<?> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions)