org.combinators.cls.types.SubtypeEnvironment
Instance of the subtype relation type class which operates on casted types
(Since version ) see corresponding Javadoc for more information.
Instance of the subtype relation type class which operates on casted types