org.combinators.cls.inhabitation
Represents the application of a term of type functionType to a term of type argumentType to obtain type target.
functionType
argumentType
target
Returns the inhabitation target of this rule.
(Since version ) see corresponding Javadoc for more information.
Represents the application of a term of type
functionType
to a term of typeargumentType
to obtain typetarget
.