diff options
Diffstat (limited to 'starts/meaning-vm/level-0/common.hpp')
| -rw-r--r-- | starts/meaning-vm/level-0/common.hpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/starts/meaning-vm/level-0/common.hpp b/starts/meaning-vm/level-0/common.hpp index 4c36a04..74031cc 100644 --- a/starts/meaning-vm/level-0/common.hpp +++ b/starts/meaning-vm/level-0/common.hpp @@ -11,4 +11,9 @@ template <typename T> struct value; template <typename T> struct vref; } +namespace level1 { struct ref; template <typename> struct vref; } +namespace level2 { struct ref; template <typename> struct vref; } +namespace level3 { struct ref; template <typename> struct vref; } +namespace level4 { struct ref; template <typename> struct vref; } +namespace level5 { struct ref; template <typename> struct vref; } } |