Looks like a pre-oiler. Builds oil pressure before firing. So, yes, a dc motor driven oil pump. Quite the motor! Unless of course the owner dispensed with the gear driven pump somehow?
PANTERA INTERNATIONAL
A DE TOMASO CAR CLUB
Presents the De Tomaso Forums
The On-Line Meeting Place for De Tomaso Owners and Enthusiasts From Around the World
Clicking on the banner will take you to the sponsor's website.