fix: add back descriptions and arg names

extensions/functions_comparison.yaml

@@ -3,97 +3,158 @@
 scalar_functions:
   -
     name: "not_equal"
-    description: Whether two values are not_equal (nulls are considered not not-equal).
+    description: >
+      Whether two values are not_equal.
+
+      `not_equal(x, y) := (x != y)`
+
+      If either/both of `x` and `y` are `null`, `null` is returned.
     impls:
       - args:
           - value: any1
+            name: x
           - value: any1
+            name: y
         return: BOOLEAN
   -
     name: "equal"
-    description: Whether two values are equal (nulls are considered unequal).
+    description: >
+      Whether two values are equal.
+
+      `equal(x, y) := (x == y)`
+
+      If either/both of `x` and `y` are `null`, `null` is returned.
     impls:
       - args:
           - value: any1
+            name: x
           - value: any1
+            name: y
         return: BOOLEAN
   -
     name: "is_not_distinct_from"
-    description: Whether two values are equal (nulls are considered equal).
+    description: >
+      Whether two values are equal.
+
+      This function treats `null` values as comparable, so
+
+      `is_not_distinct_from(null, null) == True`
+
+      This is in contrast to `equal`, in which `null` values do not compare.
     impls:
       - args:
           - value: any1
+            name: x
           - value: any1
+            name: y
         return: BOOLEAN
   -
     name: "lt"
-    description: Less than
+    description: >
+      Less than.
+
+      lt(x, y) := (x < y)
+
+      If either/both of `x` and `y` are `null`, `null` is returned.
     impls:
       - args:
           - value: any1
+            name: x
           - value: any1
+            name: y
         return: BOOLEAN
   -
     name: "gt"
-    description: Greater than
+    description: >
+      Greater than.
+
+      gt(x, y) := (x > y)
+
+      If either/both of `x` and `y` are `null`, `null` is returned.
     impls:
       - args:
           - value: any1
+            name: x
           - value: any1
+            name: y
         return: BOOLEAN
   -
     name: "lte"
-    description: Less than or equal to
+    description: >
+      Less than or equal to.
+
+      lte(x, y) := (x <= y)
+
+      If either/both of `x` and `y` are `null`, `null` is returned.
     impls:
       - args:
           - value: any1
+            name: x
           - value: any1
+            name: y
         return: BOOLEAN
   -
     name: "gte"
-    description: Greater than or equal to
+    description: >
+      Greater than or equal to.
+
+      gte(x, y) := (x >= y)
+
+      If either/both of `x` and `y` are `null`, `null` is returned.
     impls:
       - args:
           - value: any1
+            name: x
           - value: any1
+            name: y
         return: BOOLEAN
   -
     name: "is_null"
-    description: Whether a value is null.
+    description: Whether a value is null. NaN is not null.
     impls:
       - args:
           - value: any1
+            name: x
         return: BOOLEAN
         nullability: DECLARED_OUTPUT
   -
     name: "is_not_null"
-    description: Whether a value is not null.
+    description: Whether a value is not null. NaN is not null.
     impls:
       - args:
           - value: any1
+            name: x
         return: BOOLEAN
         nullability: DECLARED_OUTPUT
   -
     name: "is_nan"
-    description: Whether a value is not a number.
+    description: >
+      Whether a value is not a number.
+
+      If `x` is `null`, `null` is returned.
     impls:
       - args:
           - value: fp32
+            name: x
         return: BOOLEAN
       - args:
           - value: fp64
+            name: x
         return: BOOLEAN
   -
     name: "is_finite"
-    description: Whether a value is finite (neither infinite nor NaN).
+    description: >
+      Whether a value is finite (neither infinite nor NaN).
+
+      If `x` is `null`, `null` is returned.
     impls:
       - args:
           - value: fp32
-        nullability: DECLARED_OUTPUT
+            name: x
         return: BOOLEAN
       - args:
           - value: fp64
-        nullability: DECLARED_OUTPUT
+            name: x
         return: BOOLEAN
   -
     name: "is_infinite"