plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs

Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.VerifiedCompilation.UntypedTranslation

Documentation

d_Relation_4 ∷ () Source #

d_Translation_12 ∷ p → p → p → p → () Source #

d_translation'63'_114 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T_Dec_32 Source #

du_translation'63'_114 ∷ () → T_DecEq_6 → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T_Dec_32 Source #

d_'46'extendedlambda0_164 ∷ () → T_DecEq_6 → AgdaAny → T__'8866'_14 → (T__'8801'__12 → T_'8869'_4) → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda1_200 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (T_Translation_12 → T_'8869'_4) → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda2_214 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → AgdaAny → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda3_228 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda4_240 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda5_252 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda6_264 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T_TmCon_198 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda7_278 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → Integer → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda8_292 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda9_304 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T_Builtin_2 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda10_314 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda11_328 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → AgdaAny → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda12_342 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda13_392 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_'8869'_4) → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda14_410 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda15_424 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda16_438 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T_TmCon_198 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda17_454 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → Integer → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda18_470 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda19_484 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T_Builtin_2 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda20_496 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda21_508 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → AgdaAny → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda22_520 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda23_534 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda24_570 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (T_Translation_12 → T_'8869'_4) → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda25_584 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda26_596 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T_TmCon_198 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda27_610 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → Integer → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda28_624 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda29_636 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T_Builtin_2 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda30_646 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda31_658 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → AgdaAny → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda32_670 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda33_684 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda34_696 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda35_732 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (T_Translation_12 → T_'8869'_4) → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda36_746 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T_TmCon_198 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda37_760 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → Integer → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda38_774 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda39_786 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T_Builtin_2 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda40_796 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda41_808 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_TmCon_198 → AgdaAny → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda42_820 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_TmCon_198 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda43_834 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_TmCon_198 → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda44_846 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_TmCon_198 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda45_858 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_TmCon_198 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda46_892 ∷ T_TmCon_198 → T_TmCon_198 → (T__'8801'__12 → T_'8869'_4) → () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda47_906 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_TmCon_198 → Integer → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda48_920 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_TmCon_198 → T__'8866'_14 → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda49_932 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_TmCon_198 → T_Builtin_2 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda50_942 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_TmCon_198 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda51_956 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → AgdaAny → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda52_970 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda53_986 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda54_1000 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda55_1014 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda56_1028 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → T_TmCon_198 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda57_1076 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → Integer → [T__'8866'_14] → (T_Σ_14 → T_'8869'_4) → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda58_1094 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → T__'8866'_14 → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda59_1108 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → T_Builtin_2 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda60_1120 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda61_1134 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → AgdaAny → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda62_1148 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda63_1164 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda64_1178 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda65_1192 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda66_1206 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → T_TmCon_198 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda67_1222 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → Integer → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda68_1272 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 → [T__'8866'_14] → (T_Σ_14 → T_'8869'_4) → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda69_1290 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → T_Builtin_2 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda70_1302 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda71_1314 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_Builtin_2 → AgdaAny → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda72_1326 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_Builtin_2 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda73_1340 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_Builtin_2 → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda74_1352 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_Builtin_2 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda75_1364 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_Builtin_2 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda76_1376 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_Builtin_2 → T_TmCon_198 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda77_1390 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_Builtin_2 → Integer → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda78_1404 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_Builtin_2 → T__'8866'_14 → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda79_1438 ∷ T_Builtin_2 → T_Builtin_2 → (T__'8801'__12 → T_'8869'_4) → () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda80_1448 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_Builtin_2 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda81_1458 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → AgdaAny → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda82_1468 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda83_1480 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda84_1490 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda85_1500 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda86_1510 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_TmCon_198 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda87_1522 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → Integer → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda88_1534 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T__'8866'_14 → [T__'8866'_14] → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #

d_'46'extendedlambda89_1544 ∷ () → T_DecEq_6 → (() → T__'8866'_14 → T__'8866'_14 → ()) → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_Builtin_2 → (AgdaAny → T_'8869'_4) → T_Translation_12 → T_'8869'_4 Source #