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

MAlonzo.Code.Agda.Builtin.Unit

Documentation

d_'8868'_6 :: () #

type T_'8868'_6 = () #

pattern C_tt_8 :: () #

check_tt_8 :: T_'8868'_6 #

cover_'8868'_6 :: () -> () #