A Ramsey theorem for structures with both relations and functions

We prove a generalization of Prömel's theorem to finite structures with both relations and functions.