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

MAlonzo.Code.Agda.Primitive

Documentation

type T_Level_18 = () Source #

d_lsuc_24 ∷ p → () Source #

d__'8852'__30 ∷ p → p → () Source #