Class TypeCompatibleWithType


  • public class TypeCompatibleWithType
    extends ConstraintFormula
    A type S is compatible in a loose invocation context with type T
    Author:
    Federico Tomassetti