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

MAlonzo.Code.Agda.Builtin.List

Documentation

type T_List_10 a0 = List #

d_List_10 :: p -> p -> () #

pattern C_'91''93'_16 :: [a] #

pattern C__'8759'__22 :: a -> [a] -> [a] #