org.combinators.cls.types
A path p conforms to the syntax: p ::= 'C(p) | C(Omega) | (Omega, Omega) | (Omega, p) | (p, Omega) | sigma_1 =>: ... =>: sigma_k =>: p where each sigma_i is an arbitrary intersection type without variables.
p
p ::= 'C(p) | C(Omega) | (Omega, Omega) | (Omega, p) | (p, Omega) | sigma_1 =>: ... =>: sigma_k =>: p
sigma_i
(Since version ) see corresponding Javadoc for more information.
A path
p
conforms to the syntax:p ::= 'C(p) | C(Omega) | (Omega, Omega) | (Omega, p) | (p, Omega) | sigma_1 =>: ... =>: sigma_k =>: p
where eachsigma_i
is an arbitrary intersection type without variables.