An Optional VDM Example


A test program for dealing with optional data types in ANSI C and in K&R C


The Sources