plutus-metatheory-1.60.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 #

du_'8801''45'setoid_18 :: T_IndexedSetoid_18 -> T_Setoid_44 #