plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Agda.Builtin.IO

Documentation

type AgdaIO a b = IO b #

type T_IO_8 a0 a1 = AgdaIO a0 a1 #

d_IO_8 :: a #