In 运算符§

有关infix / 的上下文信息,请参阅主要文档 in context

multi infix:</>(AnyAny --> Numeric:D)

除法运算符.

将两个参数强制转换为 Numeric,并将左边的数字除以右边的数字。Int 值的除法返回 Rat,否则应用 Numeric 中描述的“更宽类型”规则。

请注意,对于 Int 除法,还有 div