diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/ocaml/types/types.sail | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/ocaml/types/types.sail b/test/ocaml/types/types.sail index be3606d6..8f50e057 100644 --- a/test/ocaml/types/types.sail +++ b/test/ocaml/types/types.sail @@ -21,6 +21,13 @@ typedef TestStruct = const struct { register TestStruct SREG +typedef option = const union forall Type 'a. { + None; + 'a Some +} + +register (option<byte>) OREG + val unit -> unit effect {rreg, wreg} main function main () = { |