Class TypeSameAsType


  • public class TypeSameAsType
    extends ConstraintFormula
    A type S is the same as a type T (ยง4.3.4), or a type argument S is the same as type argument T
    Author:
    Federico Tomassetti