Changes

Summary

1. Removed unused nat, nat1 and int1 functions. (commit: 19eb6f8) (details)

Commit 19eb6f86d7c65d71ff5e41ab42dcebc5f3ec90f8 by Victor Bandur Removed unused nat, nat1 and int1 functions. (commit: 19eb6f8)
	c/vdmclib/src/main/TypedValue.c (diff)
	c/vdmclib/src/main/TypedValue.h (diff)