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

MAlonzo.Code.Relation.Binary.HeterogeneousEquality.Core

Documentation

d__'8773'__22 :: p -> p -> p -> p -> p -> p -> () #

data T__'8773'__22 #

Constructors

C_refl_28 

d_'8773''45'to'45''8801'_34 :: T_Level_18 -> () -> AgdaAny -> AgdaAny -> T__'8773'__22 -> T__'8801'__12 #

d_'8801''45'to'45''8773'_40 :: T_Level_18 -> () -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8773'__22 #