Sort Num.(min/max)* builtin symbol defs

This commit is contained in:
Jan Van Bruggen 2022-01-21 23:32:33 -07:00
parent 9a8a4c6ed7
commit 14ef9be3d2

View file

@ -983,33 +983,33 @@ define_builtins! {
95 NUM_NATURAL: "Natural" imported
96 NUM_NAT: "Nat" imported
97 NUM_INT_CAST: "intCast"
98 NUM_MAX_I128: "maxI128"
99 NUM_IS_MULTIPLE_OF: "isMultipleOf"
100 NUM_AT_DECIMAL: "@Decimal"
101 NUM_DECIMAL: "Decimal" imported
102 NUM_DEC: "Dec" imported // the Num.Dectype alias
103 NUM_BYTES_TO_U16: "bytesToU16"
104 NUM_BYTES_TO_U32: "bytesToU32"
105 NUM_CAST_TO_NAT: "#castToNat"
106 NUM_DIV_CEIL: "divCeil"
107 NUM_TO_STR: "toStr"
108 NUM_MIN_I128: "minI128"
109 NUM_MIN_I32: "minI32"
110 NUM_MAX_I32: "maxI32"
111 NUM_MIN_U32: "minU32"
112 NUM_MAX_U32: "maxU32"
113 NUM_MIN_I64: "minI64"
114 NUM_MAX_I64: "maxI64"
115 NUM_MIN_U64: "minU64"
116 NUM_MAX_U64: "maxU64"
117 NUM_MIN_I8: "minI8"
118 NUM_MAX_I8: "maxI8"
119 NUM_MIN_U8: "minU8"
120 NUM_MAX_U8: "maxU8"
121 NUM_MIN_I16: "minI16"
122 NUM_MAX_I16: "maxI16"
123 NUM_MIN_U16: "minU16"
124 NUM_MAX_U16: "maxU16"
98 NUM_IS_MULTIPLE_OF: "isMultipleOf"
99 NUM_AT_DECIMAL: "@Decimal"
100 NUM_DECIMAL: "Decimal" imported
101 NUM_DEC: "Dec" imported // the Num.Dectype alias
102 NUM_BYTES_TO_U16: "bytesToU16"
103 NUM_BYTES_TO_U32: "bytesToU32"
104 NUM_CAST_TO_NAT: "#castToNat"
105 NUM_DIV_CEIL: "divCeil"
106 NUM_TO_STR: "toStr"
107 NUM_MIN_I8: "minI8"
108 NUM_MAX_I8: "maxI8"
109 NUM_MIN_U8: "minU8"
110 NUM_MAX_U8: "maxU8"
111 NUM_MIN_I16: "minI16"
112 NUM_MAX_I16: "maxI16"
113 NUM_MIN_U16: "minU16"
114 NUM_MAX_U16: "maxU16"
115 NUM_MIN_I32: "minI32"
116 NUM_MAX_I32: "maxI32"
117 NUM_MIN_U32: "minU32"
118 NUM_MAX_U32: "maxU32"
119 NUM_MIN_I64: "minI64"
120 NUM_MAX_I64: "maxI64"
121 NUM_MIN_U64: "minU64"
122 NUM_MAX_U64: "maxU64"
123 NUM_MIN_I128: "minI128"
124 NUM_MAX_I128: "maxI128"
}
2 BOOL: "Bool" => {
0 BOOL_BOOL: "Bool" imported // the Bool.Bool type alias