Closed vaivaswatha closed 3 years ago
The following are added. This enables code re-use, and avoids mistakes in dealing with memory buffers representing Scilla values.
The following are added. This enables code re-use, and avoids mistakes in dealing with memory buffers representing Scilla values.