Utils/Nat

public func factorial(n : Nat) : Nat