src/math.bend checks
raw source on the hub · import 0x983079cc7642e53dbc9aaf7fa2636b20/src/math.bend as Math
1 import
import Base
Definitions
def total source · line 3 · raw
@xs:List<&1, Nat> -> Nat
raw source on the hub · import 0x983079cc7642e53dbc9aaf7fa2636b20/src/math.bend as Math
import Base
@xs:List<&1, Nat> -> Nat