Changes

Summary

1. Update runtime to support more function/operation arguments (commit: 9b654b0) (details)

Commit 9b654b0a3ab3b0178feaffca6fe5af733b11548a by Peter W. V. Tran-Jørgensen Update runtime to support more function/operation arguments (commit: 9b654b0)
	c/vdmclib/src/main/VdmClass.h (diff)