~/jendhub

def nat_pow

unified-nsga-iii@0.2.2.0 · util.bend:53

import unified-nsga-iii@0.2.2.0/util.bend as Util
import Base

53def nat_pow(+b: Nat, e: Nat) -> Nat:
54  match e:
55    case 0n:
56      1n
57    case 1n+p:
58      Nat.mul(b, nat_pow(b, p))

Uses (2)

Used by (0)

No other definition uses this definition.