plutus-metatheory-0.1.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 Source #

d_List_10 ∷ p → p → () Source #

pattern C_'91''93'_16 ∷ [a] Source #

pattern C__'8759'__22 ∷ a → [a] → [a] Source #