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

MAlonzo.Code.Untyped.Relation.Binary.Modular.Structures

Documentation

d_CompatTerm'45'TermCompatible_12 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8853'__16 → AgdaAny) → T_TermCompatible_30 Source #

du_CompatTerm'45'TermCompatible_12 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T__'8853'__16 → AgdaAny) → T_TermCompatible_30 Source #