Matches an expression that is either a field access or an application It returns a TermRef containing field accessed or a method reference and the arguments passed to it.
Matches an expression that is either a field access or an application It returns a TermRef containing field accessed or a method reference and the arguments passed to it.