static val METHOD_FORMAL_PARAMETER: Int
The sort of type references that target the type of a formal parameter of a method. See getSort.
getSort