PlutusCore.StdLib.Data.Nat

valuefoldNat :: TermLike term TyName Name uni fun => term ()

valuefoldrNat :: TermLike term TyName Name uni fun => term ()

valuenatData :: RecursiveType uni fun ()

valuenatToInteger :: (TermLike term TyName Name uni DefaultFun, HasTypeAndTermLevel uni Integer) => term ()

valuenatTy :: Type TyName uni ()

valuesucc :: TermLike term TyName Name uni fun => term ()

valuezero :: TermLike term TyName Name uni fun => term ()