Implemented `Length` function

* as its name implies this function returns the length of a given _Cons_ structure
* result type is `Size<Length>` which wraps `std::size_t` to match the `sizeof` operator

1 files changed, 3 insertions, 0 deletions

diff --git a/src/type.h b/src/type.h
index 304bff4..74e0650 100644
--- a/src/type.h
+++ b/src/type.h
@@ -8,6 +8,9 @@ namespace tav {
 template <int Value>
 using Int = typename std::integral_constant<int, Value>::type;
 
+template <std::size_t Value>
+using Size = typename std::integral_constant<std::size_t, Value>::type;
+
 template <bool Value>
 using Boolean = typename std::integral_constant<bool, Value>::type;