diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_internal.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/type_internal.ml b/src/type_internal.ml index 1ad4d40c..78d8ab20 100644 --- a/src/type_internal.ml +++ b/src/type_internal.ml @@ -69,6 +69,7 @@ let initial_kind_env = ("bool", {k = K_Typ}); ("nat", {k = K_Typ}); ("unit", {k = K_Typ}); + ("bit", {k = K_Typ}); ("list", {k = K_Lam( [{k = K_Typ}], {k = K_Typ})}); ("enum", {k = K_Lam( [ {k = K_Nat}; {k= K_Nat}; {k=K_Ord} ], {k = K_Typ}) }); ("vector", {k = K_Lam( [ {k = K_Nat}; {k = K_Nat}; {k= K_Ord} ; {k=K_Typ}], {k=K_Typ}) } ) |