def perm

import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as Natural

import Base

133def perm(+n: Nat, +k: Nat) -> Nat:
134  perm_go(k, n, 1n)

Uses (2)