PlutusCore.Examples.Data.Shad

valuemkShad :: HasTypeAndTermLevel uni Integer => Term TyName Name uni fun ()

valuerecUnit :: HasTypeLevel uni () => Type TyName uni ()

valuerunRecUnit :: HasTypeAndTermLevel uni () => Term TyName Name uni fun ()

valueshad :: HasTypeLevel uni Integer => Type TyName uni ()