Rename typeof to type

This function now has the same name as in Python.
tweag · Dec 29, 2021 · 169f0ce · 169f0ce
1 parent db72002
commit 169f0ce
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/stdlib/builtins.ncl b/stdlib/builtins.ncl
@@ -84,7 +84,7 @@
       "#m
     = fun x => %is_record% x,
 
-    typeof : Dyn -> <
+    type : Dyn -> <
       TypeNum,
       TypeBool,
       TypeStr,
@@ -97,9 +97,9 @@
 
       For example:
       ```nickel
-        typeof [ 1, 2 ] =>
+        type [ 1, 2 ] =>
           `TypeList
-        typeof (fun x => x) =>
+        type (fun x => x) =>
           `TypeFun
       ```
       "#m