diff options
author | 2014-09-02 18:02:26 +0200 | |
---|---|---|
committer | 2014-09-04 10:25:54 +0200 | |
commit | ac2fdfb222083faa9c3893194e020bed38555ddb (patch) | |
tree | df170292bb8d960469a3653d8f7481b42599fbf9 /kernel/subtyping.ml | |
parent | c907f31fd8f4b12bf2d7df2078603dbe804475a2 (diff) |
Add a [Variant] declaration which allows to write non-recursive variant types.
Just like the [Record] keyword allows only non-recursive records.
Diffstat (limited to 'kernel/subtyping.ml')
0 files changed, 0 insertions, 0 deletions