(** Electronic kinetic energy integrals, expressed as a matrix in a {!Basis.t}.
{%
$$
T_{ij} = \left \langle \chi_i \left| -\frac{1}{2} \Delta \right| \chi_j \right \rangle
%}
*)
include module type of MatrixOnBasis