Starting with an adjoint pair of operators, under suitable abstract versions of standard PDE hypotheses, we consider the Weyl M-function of extensions of the operators. The extensions are determined by abstract boundary ...