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

MAlonzo.Code.Function.Related

Documentation

d__'8592'__12 ∷ p → p → p → p → () Source #

newtype T__'8592'__12 Source #

Constructors

C_lam_26 (AgdaAnyAgdaAny) 

d__'8610'__36 ∷ p → p → p → p → () Source #

d_Related_112T_Kind_52T_Level_18T_Level_18 → () → () → () Source #

d_K'45'trans_270T_Kind_52T_Level_18T_Level_18T_Level_18 → () → () → () → AgdaAnyAgdaAnyAgdaAny Source #

d_InducedRelation'8322'_518T_Kind_52T_Level_18T_Level_18T_Level_18 → () → () → (AgdaAnyAgdaAny → ()) → AgdaAnyAgdaAny → () Source #