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

MAlonzo.Code.Agda.Builtin.Unit

Documentation

type T_'8868'_6 = () Source #

pattern C_tt_8 ∷ () Source #

cover_'8868'_6 ∷ () → () Source #