def perm
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport Base
133def perm(+n: Nat, +k: Nat) -> Nat:
134 perm_go(k, n, 1n)
Uses (2)
Used by (0)
No other definition uses this definition.
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport Base
133def perm(+n: Nat, +k: Nat) -> Nat:
134 perm_go(k, n, 1n)
No other definition uses this definition.