diff options
Diffstat (limited to 'test/mono/test_extra.lem')
| -rw-r--r-- | test/mono/test_extra.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/mono/test_extra.lem b/test/mono/test_extra.lem index 29876223..2dc8dd13 100644 --- a/test/mono/test_extra.lem +++ b/test/mono/test_extra.lem @@ -6,6 +6,7 @@ open import Sail2_prompt_monad open import Sail2_state let undefined_int () = return (0:ii) +let undefined_unit () = return () val undefined_bitvector : forall 'rv 'a 'e. Bitvector 'a => integer -> monad 'rv 'a 'e let undefined_bitvector len = return (of_bools (repeat [false] len)) |