diff options
author | Ori Bernstein <ori@eigenstate.org> | 2015-08-26 12:20:58 -0700 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2015-08-26 12:20:58 -0700 |
commit | 2bc852bda98762d3bc01548bf972e3f1b137fbfb (patch) | |
tree | 74831deed3c9057c5fe0cbb8790d220e855bc792 /lib/std/option.myr | |
parent | 3de952510eb2a23350d24ed926f19c0cf72a12f2 (diff) | |
download | mc-2bc852bda98762d3bc01548bf972e3f1b137fbfb.tar.gz |
Move Myrddin libs to lib/ subdirectory.
Diffstat (limited to 'lib/std/option.myr')
-rw-r--r-- | lib/std/option.myr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/std/option.myr b/lib/std/option.myr new file mode 100644 index 0000000..271355d --- /dev/null +++ b/lib/std/option.myr @@ -0,0 +1,7 @@ +pkg std = + type option(@a) = union + `Some @a + `None + ;; +;; + |