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

MAlonzo.Code.Function.Indexed.Relation.Binary.Equality

Documentation

d_'8801''45'setoid_18 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → T_IndexedSetoid_18 → T_Setoid_44 Source #

du_'8801''45'setoid_18 ∷ T_IndexedSetoid_18 → T_Setoid_44 Source #