~/jendhub

def mul3

bend-kit-collections@0.1.4.1 · nat_order.bend:6

import bend-kit-collections@0.1.4.1/nat_order.bend as NatOrder
import Base

6def mul3(+a: Nat) -> Nat:
7  Nat.mul(3n, a)

Uses (2)

Used by (5)