org.combinators.cls.types
A path p conforms to the syntax: p ::= 'C() | 'C((Omega, )* p (, Omega)*) | sigma_1 =>: ... =>: sigma_k =>: p where each sigma_i is an arbitrary intersection type without variables.
p
p ::= 'C() | 'C((Omega, )* p (, Omega)*) | sigma_1 =>: ... =>: sigma_k =>: p
sigma_i
A path
p
conforms to the syntax:p ::= 'C() | 'C((Omega, )* p (, Omega)*) | sigma_1 =>: ... =>: sigma_k =>: p
where eachsigma_i
is an arbitrary intersection type without variables.