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

MAlonzo.Code.Algorithmic.Properties

Documentation

d_lem'45''183''8902'_28 :: T_Kind_766 -> T_Kind_766 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T__'8866'__178 -> T__'8866'__178 -> T__'8866'Nf'8902'__4 -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 -> T_Σ_14 #

du_lem'45''183''8902'_28 :: T_Σ_14 #

d_lem'45'unwrap_54 :: T_Kind_766 -> T_Kind_766 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T__'8866'__178 -> T__'8866'__178 -> T__'8866'Nf'8902'__4 -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 -> T_Σ_14 #

du_lem'45'unwrap_54 :: T_Σ_14 #