Add and use helper function for calling a machine function and passing it some arguments#1083

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:fn-call-helper

Nov 29, 2019

+132-152

Commits on Nov 29, 2019