Searched defs:TypeSubtypeOfType (Results 1 – 1 of 1) sorted by relevance
19 public class TypeSubtypeOfType extends ConstraintFormula { class24 public TypeSubtypeOfType(TypeSolver typeSolver, ResolvedType S, ResolvedType T) { in TypeSubtypeOfType() method in TypeSubtypeOfType