diff options
| author | Son Ho | 2022-02-23 22:23:45 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-23 22:23:45 +0100 |
| commit | e3430dcb5e944af0903b272669e6ddbb8e7d59c3 (patch) | |
| tree | b538fc2151d7a7fb01b94ef9a5c7b29925f3c1c0 /fstar | |
| parent | 284a6042ca9d5d7bcbc19a10909156769443c9be (diff) | |
Add an option to control the translation to error monad or state-error
monad
Diffstat (limited to 'fstar')
0 files changed, 0 insertions, 0 deletions