{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.Algorithmic.Signature where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text
import qualified MAlonzo.Code.Agda.Builtin.Equality
import qualified MAlonzo.Code.Builtin
import qualified MAlonzo.Code.Builtin.Signature
import qualified MAlonzo.Code.Type
import qualified MAlonzo.Code.Type.BetaNBE
import qualified MAlonzo.Code.Type.BetaNBE.RenamingSubstitution
import qualified MAlonzo.Code.Type.BetaNormal
import qualified MAlonzo.Code.Type.RenamingSubstitution
import qualified MAlonzo.Code.Utils

-- Algorithmic.Signature._.SigTy
d_SigTy_6 :: p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> ()
d_SigTy_6 p
a0 p
a1 p
a2 p
a3 p
a4 p
a5 p
a6 p
a7 p
a8 p
a9 = ()
-- Algorithmic.Signature._.convSigTy
d_convSigTy_8 ::
  Integer ->
  Integer ->
  Integer ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  Integer ->
  Integer ->
  Integer ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  Integer ->
  Integer ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260
d_convSigTy_8 :: Integer
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> T__'8801'__12
-> T_SigTy_260
-> T_SigTy_260
d_convSigTy_8 ~Integer
v0 ~Integer
v1 ~Integer
v2 ~T__'8724'_'8803'__120
v3 ~T__'8724'_'8803'__120
v4 ~Integer
v5 ~Integer
v6 ~Integer
v7 ~T__'8724'_'8803'__120
v8 ~T__'8724'_'8803'__120
v9 ~Integer
v10 ~Integer
v11
              ~T__'8866'Nf'8902'__4
v12 ~T__'8866'Nf'8902'__4
v13 ~T__'8801'__12
v14 T_SigTy_260
v15
  = T_SigTy_260 -> T_SigTy_260
du_convSigTy_8 T_SigTy_260
v15
du_convSigTy_8 ::
  MAlonzo.Code.Builtin.Signature.T_SigTy_260 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260
du_convSigTy_8 :: T_SigTy_260 -> T_SigTy_260
du_convSigTy_8 T_SigTy_260
v0 = T_SigTy_260 -> T_SigTy_260
forall a b. a -> b
coe T_SigTy_260
v0
-- Algorithmic.Signature._.mkTy
d_mkTy_10 ::
  Integer ->
  Integer ->
  MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_22 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
d_mkTy_10 :: Integer
-> Integer -> T__'47'_'8866''8902'_22 -> T__'8866'Nf'8902'__4
d_mkTy_10
  = ((T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
 -> (Integer -> Integer -> T_Kind_476 -> T__'8715''8902'__14 -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> T_Kind_476 -> Any -> Any -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> T_TyCon_6 -> Any)
 -> (T_Ctx'8902'_2 -> Any -> Any)
 -> Integer
 -> Integer
 -> T__'47'_'8866''8902'_22
 -> Any)
-> (Any -> Any -> Any -> Any)
-> Any
-> (Any -> Any -> Any -> Any -> Any -> Any)
-> Any
-> (Any -> Any -> Any)
-> Integer
-> Integer
-> T__'47'_'8866''8902'_22
-> T__'8866'Nf'8902'__4
forall a b. a -> b
coe
      (T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
-> (Integer -> Integer -> T_Kind_476 -> T__'8715''8902'__14 -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> T_Kind_476 -> Any -> Any -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> T_TyCon_6 -> Any)
-> (T_Ctx'8902'_2 -> Any -> Any)
-> Integer
-> Integer
-> T__'47'_'8866''8902'_22
-> Any
MAlonzo.Code.Builtin.Signature.du_mkTy_198
      (\ Any
v0 Any
v1 Any
v2 -> (T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4) -> Any -> Any
forall a b. a -> b
coe T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_ne_20 Any
v2)
      ((Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 Any
v3 -> (T__'8715''8902'__14 -> T__'8866'Ne'8902'__6) -> Any -> Any
forall a b. a -> b
coe T__'8715''8902'__14 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'96'_8 Any
v3))
      (\ Any
v0 Any
v1 Any
v2 Any
v3 Any
v4 ->
         (T_Kind_476
 -> T__'8866'Ne'8902'__6
 -> T__'8866'Nf'8902'__4
 -> T__'8866'Ne'8902'__6)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_Kind_476
-> T__'8866'Ne'8902'__6
-> T__'8866'Nf'8902'__4
-> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C__'183'__10 Any
v1 Any
v3 Any
v4)
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 Any
v1 -> (T_TyCon_6 -> T__'8866'Ne'8902'__6) -> Any
forall a b. a -> b
coe T_TyCon_6 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'94'_12))
      (\ Any
v0 Any
v1 -> (T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4) -> Any -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_con_22 Any
v1)
-- Algorithmic.Signature._.sig2type
d_sig2type_12 ::
  MAlonzo.Code.Builtin.Signature.T_Sig_68 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
d_sig2type_12 :: T_Sig_68 -> T__'8866'Nf'8902'__4
d_sig2type_12
  = ((T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
 -> (Integer -> Integer -> T_Kind_476 -> T__'8715''8902'__14 -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> T_Kind_476 -> Any -> Any -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> T_TyCon_6 -> Any)
 -> (T_Ctx'8902'_2 -> Any -> Any)
 -> (T_Ctx'8902'_2 -> Any -> Any -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
 -> T_Sig_68
 -> Any)
-> (Any -> Any -> Any -> Any)
-> Any
-> (Any -> Any -> Any -> Any -> Any -> Any)
-> Any
-> (Any -> Any -> Any)
-> (Any -> Any -> Any -> Any)
-> (Any -> Any -> Any -> Any)
-> T_Sig_68
-> T__'8866'Nf'8902'__4
forall a b. a -> b
coe
      (T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
-> (Integer -> Integer -> T_Kind_476 -> T__'8715''8902'__14 -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> T_Kind_476 -> Any -> Any -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> T_TyCon_6 -> Any)
-> (T_Ctx'8902'_2 -> Any -> Any)
-> (T_Ctx'8902'_2 -> Any -> Any -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
-> T_Sig_68
-> Any
MAlonzo.Code.Builtin.Signature.du_sig2type_236
      (\ Any
v0 Any
v1 Any
v2 -> (T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4) -> Any -> Any
forall a b. a -> b
coe T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_ne_20 Any
v2)
      ((Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 Any
v3 -> (T__'8715''8902'__14 -> T__'8866'Ne'8902'__6) -> Any -> Any
forall a b. a -> b
coe T__'8715''8902'__14 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'96'_8 Any
v3))
      (\ Any
v0 Any
v1 Any
v2 Any
v3 Any
v4 ->
         (T_Kind_476
 -> T__'8866'Ne'8902'__6
 -> T__'8866'Nf'8902'__4
 -> T__'8866'Ne'8902'__6)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_Kind_476
-> T__'8866'Ne'8902'__6
-> T__'8866'Nf'8902'__4
-> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C__'183'__10 Any
v1 Any
v3 Any
v4)
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 Any
v1 -> (T_TyCon_6 -> T__'8866'Ne'8902'__6) -> Any
forall a b. a -> b
coe T_TyCon_6 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'94'_12))
      (\ Any
v0 Any
v1 -> (T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4) -> Any -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_con_22 Any
v1)
      (\ Any
v0 Any
v1 Any
v2 ->
         (T__'8866'Nf'8902'__4
 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C__'8658'__16 Any
v1 Any
v2)
      (\ Any
v0 Any
v1 Any
v2 -> (T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_Π_14 Any
v1 Any
v2)
-- Algorithmic.Signature._.sig2typeΠ
d_sig2typeΠ_14 ::
  Integer ->
  Integer ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
d_sig2typeΠ_14 :: Integer -> Integer -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
d_sig2typeΠ_14
  = ((T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
 -> Integer -> Integer -> Any -> Any)
-> (Any -> Any -> Any -> Any)
-> Integer
-> Integer
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
forall a b. a -> b
coe
      (T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
-> Integer -> Integer -> Any -> Any
MAlonzo.Code.Builtin.Signature.du_sig2typeΠ_222
      (\ Any
v0 Any
v1 Any
v2 -> (T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_Π_14 Any
v1 Any
v2)
-- Algorithmic.Signature._.sig2type⇒
d_sig2type'8658'_16 ::
  Integer ->
  Integer ->
  [MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_22] ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
d_sig2type'8658'_16 :: Integer
-> Integer
-> [T__'47'_'8866''8902'_22]
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
d_sig2type'8658'_16
  = ((T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
 -> (Integer -> Integer -> T_Kind_476 -> T__'8715''8902'__14 -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> T_Kind_476 -> Any -> Any -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> T_TyCon_6 -> Any)
 -> (T_Ctx'8902'_2 -> Any -> Any)
 -> (T_Ctx'8902'_2 -> Any -> Any -> Any)
 -> Integer
 -> Integer
 -> [T__'47'_'8866''8902'_22]
 -> Any
 -> Any)
-> (Any -> Any -> Any -> Any)
-> Any
-> (Any -> Any -> Any -> Any -> Any -> Any)
-> Any
-> (Any -> Any -> Any)
-> (Any -> Any -> Any -> Any)
-> Integer
-> Integer
-> [T__'47'_'8866''8902'_22]
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
forall a b. a -> b
coe
      (T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
-> (Integer -> Integer -> T_Kind_476 -> T__'8715''8902'__14 -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> T_Kind_476 -> Any -> Any -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> T_TyCon_6 -> Any)
-> (T_Ctx'8902'_2 -> Any -> Any)
-> (T_Ctx'8902'_2 -> Any -> Any -> Any)
-> Integer
-> Integer
-> [T__'47'_'8866''8902'_22]
-> Any
-> Any
MAlonzo.Code.Builtin.Signature.du_sig2type'8658'_208
      (\ Any
v0 Any
v1 Any
v2 -> (T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4) -> Any -> Any
forall a b. a -> b
coe T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_ne_20 Any
v2)
      ((Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 Any
v3 -> (T__'8715''8902'__14 -> T__'8866'Ne'8902'__6) -> Any -> Any
forall a b. a -> b
coe T__'8715''8902'__14 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'96'_8 Any
v3))
      (\ Any
v0 Any
v1 Any
v2 Any
v3 Any
v4 ->
         (T_Kind_476
 -> T__'8866'Ne'8902'__6
 -> T__'8866'Nf'8902'__4
 -> T__'8866'Ne'8902'__6)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_Kind_476
-> T__'8866'Ne'8902'__6
-> T__'8866'Nf'8902'__4
-> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C__'183'__10 Any
v1 Any
v3 Any
v4)
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 Any
v1 -> (T_TyCon_6 -> T__'8866'Ne'8902'__6) -> Any
forall a b. a -> b
coe T_TyCon_6 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'94'_12))
      (\ Any
v0 Any
v1 -> (T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4) -> Any -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_con_22 Any
v1)
      (\ Any
v0 Any
v1 Any
v2 ->
         (T__'8866'Nf'8902'__4
 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C__'8658'__16 Any
v1 Any
v2)
-- Algorithmic.Signature._.sigTy2type
d_sigTy2type_18 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  Integer ->
  Integer ->
  Integer ->
  Integer ->
  Integer ->
  Integer ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
d_sigTy2type_18 :: T_Ctx'8902'_2
-> Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> T__'8866'Nf'8902'__4
-> T__'8724'_'8803'__120
-> T__'8724'_'8803'__120
-> T_SigTy_260
-> T__'8866'Nf'8902'__4
d_sigTy2type_18 ~T_Ctx'8902'_2
v0 ~Integer
v1 ~Integer
v2 ~Integer
v3 ~Integer
v4 ~Integer
v5 ~Integer
v6 T__'8866'Nf'8902'__4
v7 ~T__'8724'_'8803'__120
v8 ~T__'8724'_'8803'__120
v9 ~T_SigTy_260
v10
  = T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
du_sigTy2type_18 T__'8866'Nf'8902'__4
v7
du_sigTy2type_18 ::
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
du_sigTy2type_18 :: T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
du_sigTy2type_18 T__'8866'Nf'8902'__4
v0 = T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v0
-- Algorithmic.Signature._.⊢♯2TyNe♯
d_'8866''9839'2TyNe'9839'_20 ::
  Integer ->
  Integer ->
  MAlonzo.Code.Builtin.Signature.T__'8866''9839'_4 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Ne'8902'__6
d_'8866''9839'2TyNe'9839'_20 :: Integer -> Integer -> T__'8866''9839'_4 -> T__'8866'Ne'8902'__6
d_'8866''9839'2TyNe'9839'_20
  = ((T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
 -> (Integer -> Integer -> T_Kind_476 -> T__'8715''8902'__14 -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> T_Kind_476 -> Any -> Any -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> T_TyCon_6 -> Any)
 -> Integer
 -> Integer
 -> T__'8866''9839'_4
 -> Any)
-> (Any -> Any -> Any -> Any)
-> Any
-> (Any -> Any -> Any -> Any -> Any -> Any)
-> Any
-> Integer
-> Integer
-> T__'8866''9839'_4
-> T__'8866'Ne'8902'__6
forall a b. a -> b
coe
      (T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
-> (Integer -> Integer -> T_Kind_476 -> T__'8715''8902'__14 -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> T_Kind_476 -> Any -> Any -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> T_TyCon_6 -> Any)
-> Integer
-> Integer
-> T__'8866''9839'_4
-> Any
MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_182
      (\ Any
v0 Any
v1 Any
v2 -> (T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4) -> Any -> Any
forall a b. a -> b
coe T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_ne_20 Any
v2)
      ((Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 Any
v3 -> (T__'8715''8902'__14 -> T__'8866'Ne'8902'__6) -> Any -> Any
forall a b. a -> b
coe T__'8715''8902'__14 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'96'_8 Any
v3))
      (\ Any
v0 Any
v1 Any
v2 Any
v3 Any
v4 ->
         (T_Kind_476
 -> T__'8866'Ne'8902'__6
 -> T__'8866'Nf'8902'__4
 -> T__'8866'Ne'8902'__6)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_Kind_476
-> T__'8866'Ne'8902'__6
-> T__'8866'Nf'8902'__4
-> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C__'183'__10 Any
v1 Any
v3 Any
v4)
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 Any
v1 -> (T_TyCon_6 -> T__'8866'Ne'8902'__6) -> Any
forall a b. a -> b
coe T_TyCon_6 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'94'_12))
-- Algorithmic.Signature.btype
d_btype_30 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Builtin.T_Builtin_2 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4
d_btype_30 :: T_Ctx'8902'_2 -> T_Builtin_2 -> T__'8866'Nf'8902'__4
d_btype_30 T_Ctx'8902'_2
v0 T_Builtin_2
v1
  = (T_Ctx'8902'_2
 -> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe
      T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.d_subNf'8709'_566
      (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)
      (((T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
 -> (Integer -> Integer -> T_Kind_476 -> T__'8715''8902'__14 -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> T_Kind_476 -> Any -> Any -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> T_TyCon_6 -> Any)
 -> (T_Ctx'8902'_2 -> Any -> Any)
 -> (T_Ctx'8902'_2 -> Any -> Any -> Any)
 -> (T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
 -> T_Sig_68
 -> Any)
-> (Any -> Any -> Any -> Any)
-> Any
-> (Any -> Any -> Any -> Any -> Any -> Any)
-> Any
-> (Any -> Any -> Any)
-> (Any -> Any -> Any -> Any)
-> (Any -> Any -> Any -> Any)
-> Any
-> Any
forall a b. a -> b
coe
         (T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
-> (Integer -> Integer -> T_Kind_476 -> T__'8715''8902'__14 -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> T_Kind_476 -> Any -> Any -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> T_TyCon_6 -> Any)
-> (T_Ctx'8902'_2 -> Any -> Any)
-> (T_Ctx'8902'_2 -> Any -> Any -> Any)
-> (T_Ctx'8902'_2 -> T_Kind_476 -> Any -> Any)
-> T_Sig_68
-> Any
MAlonzo.Code.Builtin.Signature.du_sig2type_236
         (\ Any
v2 Any
v3 Any
v4 -> (T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4) -> Any -> Any
forall a b. a -> b
coe T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_ne_20 Any
v4)
         ((Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
            (\ Any
v2 Any
v3 Any
v4 Any
v5 -> (T__'8715''8902'__14 -> T__'8866'Ne'8902'__6) -> Any -> Any
forall a b. a -> b
coe T__'8715''8902'__14 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'96'_8 Any
v5))
         (\ Any
v2 Any
v3 Any
v4 Any
v5 Any
v6 ->
            (T_Kind_476
 -> T__'8866'Ne'8902'__6
 -> T__'8866'Nf'8902'__4
 -> T__'8866'Ne'8902'__6)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_Kind_476
-> T__'8866'Ne'8902'__6
-> T__'8866'Nf'8902'__4
-> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C__'183'__10 Any
v3 Any
v5 Any
v6)
         ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v2 Any
v3 -> (T_TyCon_6 -> T__'8866'Ne'8902'__6) -> Any
forall a b. a -> b
coe T_TyCon_6 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'94'_12))
         (\ Any
v2 Any
v3 -> (T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4) -> Any -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_con_22 Any
v3)
         (\ Any
v2 Any
v3 Any
v4 ->
            (T__'8866'Nf'8902'__4
 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C__'8658'__16 Any
v3 Any
v4)
         (\ Any
v2 Any
v3 Any
v4 -> (T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_Π_14 Any
v3 Any
v4)
         ((T_Builtin_2 -> T_Sig_68) -> Any -> Any
forall a b. a -> b
coe T_Builtin_2 -> T_Sig_68
MAlonzo.Code.Builtin.d_signature_278 (T_Builtin_2 -> Any
forall a b. a -> b
coe T_Builtin_2
v1)))
-- Algorithmic.Signature.btype-ren
d_btype'45'ren_42 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Builtin.T_Builtin_2 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.T__'8715''8902'__14) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_btype'45'ren_42 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Builtin_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'__12
d_btype'45'ren_42 = T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Builtin_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'__12
forall a. a
erased
-- Algorithmic.Signature.btype-sub
d_btype'45'sub_56 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Builtin.T_Builtin_2 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_btype'45'sub_56 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Builtin_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T__'8801'__12
d_btype'45'sub_56 = T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Builtin_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T__'8801'__12
forall a. a
erased
-- Algorithmic.Signature.subNf-Π
d_subNf'45'Π_72 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Utils.T_Kind_476 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4) ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_subNf'45'Π_72 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T__'8866'Nf'8902'__4
-> T__'8801'__12
d_subNf'45'Π_72 = T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T__'8866'Nf'8902'__4
-> T__'8801'__12
forall a. a
erased
-- Algorithmic.Signature.subSigTy
d_subSigTy_108 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4) ->
  Integer ->
  Integer ->
  Integer ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  Integer ->
  Integer ->
  Integer ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260
d_subSigTy_108 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> Integer
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T__'8866'Nf'8902'__4
-> T_SigTy_260
-> T_SigTy_260
d_subSigTy_108 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4
v2 ~Integer
v3 ~Integer
v4 ~Integer
v5 ~T__'8724'_'8803'__120
v6 ~Integer
v7 ~Integer
v8 ~Integer
v9 ~T__'8724'_'8803'__120
v10 ~T__'8866'Nf'8902'__4
v11 T_SigTy_260
v12
  = T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T_SigTy_260
-> T_SigTy_260
du_subSigTy_108 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4
v2 T_SigTy_260
v12
du_subSigTy_108 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4) ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260
du_subSigTy_108 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T_SigTy_260
-> T_SigTy_260
du_subSigTy_108 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4
v2 T_SigTy_260
v3
  = case T_SigTy_260 -> T_SigTy_260
forall a b. a -> b
coe T_SigTy_260
v3 of
      T_SigTy_260
MAlonzo.Code.Builtin.Signature.C_bresult_274
        -> T_SigTy_260 -> T_SigTy_260
forall a b. a -> b
coe T_SigTy_260
MAlonzo.Code.Builtin.Signature.C_bresult_274
      MAlonzo.Code.Builtin.Signature.C__B'8658'__296 Any
v12 Any
v13 T_SigTy_260
v14
        -> (Any -> Any -> T_SigTy_260 -> T_SigTy_260)
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
-> Any
-> T_SigTy_260
forall a b. a -> b
coe
             Any -> Any -> T_SigTy_260 -> T_SigTy_260
MAlonzo.Code.Builtin.Signature.C__B'8658'__296
             (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T_Kind_476
-> T__'8866'Nf'8902'__4
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.d_subNf_104
                (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4
v2) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)
                (Any -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe Any
v12))
             (T_Kind_476 -> T_Ctx'8902'_2 -> Any -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.d_reify_86
                (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> T_Kind_476
 -> T__'8866''8902'__20
 -> (T_Kind_476 -> T__'8715''8902'__14 -> Any)
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                   T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> Any)
-> Any
MAlonzo.Code.Type.BetaNBE.d_eval_166 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                   (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)
                   ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
 -> T_Kind_476
 -> T__'8866''8902'__20
 -> T__'8866''8902'__20)
-> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                      T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.d_sub_346 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                      ((Any -> Any -> T__'8866''8902'__20) -> Any
forall a b. a -> b
coe
                         (\ Any
v15 Any
v16 ->
                            T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (Any -> T_Kind_476
forall a b. a -> b
coe Any
v15) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4
v2 Any
v15 Any
v16)))
                      (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)
                      ((T_Ctx'8902'_2
 -> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                         T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0)
                         (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (Any -> Any
forall a b. a -> b
coe Any
v13)))
                   ((T_Kind_476 -> T__'8715''8902'__14 -> Any) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> Any
MAlonzo.Code.Type.BetaNBE.du_idEnv_250)))
             ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
 -> T_SigTy_260
 -> T_SigTy_260)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T_SigTy_260
-> T_SigTy_260
du_subSigTy_108 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4
v2) (T_SigTy_260 -> Any
forall a b. a -> b
coe T_SigTy_260
v14))
      MAlonzo.Code.Builtin.Signature.C_sucΠ_320 T_Kind_476
v13 Any
v14 T_SigTy_260
v15
        -> (T_Kind_476 -> Any -> T_SigTy_260 -> T_SigTy_260)
-> T_Kind_476 -> Any -> Any -> T_SigTy_260
forall a b. a -> b
coe
             T_Kind_476 -> Any -> T_SigTy_260 -> T_SigTy_260
MAlonzo.Code.Builtin.Signature.C_sucΠ_320 T_Kind_476
v13
             (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> Any)
-> Any
MAlonzo.Code.Type.BetaNBE.d_eval_166
                ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)
                ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
 -> T_Kind_476
 -> T__'8866''8902'__20
 -> T__'8866''8902'__20)
-> Any -> Any -> Any -> Any -> Any -> T__'8866''8902'__20
forall a b. a -> b
coe
                   T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.d_sub_346
                   ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2) -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                   ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2) -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                   ((Any -> Any -> T__'8866''8902'__20) -> Any
forall a b. a -> b
coe
                      (\ Any
v16 Any
v17 ->
                         T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
                           ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                           (Any -> T_Kind_476
forall a b. a -> b
coe Any
v16)
                           ((T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
 -> T_Kind_476
 -> T_Kind_476
 -> T__'8715''8902'__14
 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any -> Any -> Any -> T__'8866'Nf'8902'__4
forall a b. a -> b
coe
                              T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T_Kind_476
-> T_Kind_476
-> T__'8715''8902'__14
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.du_extsNf_198
                              (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4
v2) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13) (Any -> Any
forall a b. a -> b
coe Any
v16) (Any -> Any
forall a b. a -> b
coe Any
v17))))
                   (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)
                   ((T_Ctx'8902'_2
 -> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                      T_Ctx'8902'_2
-> T_Kind_476 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20
MAlonzo.Code.Type.BetaNormal.d_embNf_128
                      ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2) -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                      (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (Any -> Any
forall a b. a -> b
coe Any
v14)))
                ((Any -> Any -> Any) -> T_Kind_476 -> T__'8715''8902'__14 -> Any
forall a b. a -> b
coe
                   (\ Any
v16 Any
v17 ->
                      (T_Kind_476 -> T__'8866'Ne'8902'__6 -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                        T_Kind_476 -> T__'8866'Ne'8902'__6 -> Any
MAlonzo.Code.Type.BetaNBE.du_reflect_22 (Any -> Any
forall a b. a -> b
coe Any
v16)
                        ((T__'8715''8902'__14 -> T__'8866'Ne'8902'__6) -> Any -> Any
forall a b. a -> b
coe T__'8715''8902'__14 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'96'_8 Any
v17))))
             ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
 -> T_SigTy_260
 -> T_SigTy_260)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T_SigTy_260
-> T_SigTy_260
du_subSigTy_108
                ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2) -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2) -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                ((T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
 -> T_Kind_476
 -> T_Kind_476
 -> T__'8715''8902'__14
 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                   T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T_Kind_476
-> T_Kind_476
-> T__'8715''8902'__14
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.du_extsNf_198
                   (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4
v2) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                (T_SigTy_260 -> Any
forall a b. a -> b
coe T_SigTy_260
v15))
      T_SigTy_260
_ -> T_SigTy_260
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Algorithmic.Signature._[_]SigTy
d__'91'_'93'SigTy_150 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Utils.T_Kind_476 ->
  Integer ->
  Integer ->
  Integer ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  Integer ->
  Integer ->
  Integer ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260
d__'91'_'93'SigTy_150 :: T_Ctx'8902'_2
-> T_Kind_476
-> Integer
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T__'8866'Nf'8902'__4
-> T_SigTy_260
-> T__'8866'Nf'8902'__4
-> T_SigTy_260
d__'91'_'93'SigTy_150 T_Ctx'8902'_2
v0 T_Kind_476
v1 ~Integer
v2 ~Integer
v3 ~Integer
v4 ~T__'8724'_'8803'__120
v5 ~Integer
v6 ~Integer
v7 ~Integer
v8 ~T__'8724'_'8803'__120
v9 ~T__'8866'Nf'8902'__4
v10
                      T_SigTy_260
v11 T__'8866'Nf'8902'__4
v12
  = T_Ctx'8902'_2
-> T_Kind_476 -> T_SigTy_260 -> T__'8866'Nf'8902'__4 -> T_SigTy_260
du__'91'_'93'SigTy_150 T_Ctx'8902'_2
v0 T_Kind_476
v1 T_SigTy_260
v11 T__'8866'Nf'8902'__4
v12
du__'91'_'93'SigTy_150 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Utils.T_Kind_476 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260
du__'91'_'93'SigTy_150 :: T_Ctx'8902'_2
-> T_Kind_476 -> T_SigTy_260 -> T__'8866'Nf'8902'__4 -> T_SigTy_260
du__'91'_'93'SigTy_150 T_Ctx'8902'_2
v0 T_Kind_476
v1 T_SigTy_260
v2 T__'8866'Nf'8902'__4
v3
  = (T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
 -> T_SigTy_260
 -> T_SigTy_260)
-> Any -> Any -> Any -> Any -> T_SigTy_260
forall a b. a -> b
coe
      T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T_SigTy_260
-> T_SigTy_260
du_subSigTy_108
      ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2) -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v1)) (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0)
      (((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
 -> T__'8866'Nf'8902'__4
 -> T_Kind_476
 -> T__'8715''8902'__14
 -> T__'8866'Nf'8902'__4)
-> Any -> Any -> Any
forall a b. a -> b
coe
         (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4)
-> T__'8866'Nf'8902'__4
-> T_Kind_476
-> T__'8715''8902'__14
-> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.du_subNf'45'cons_218
         ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe
            (\ Any
v4 Any
v5 ->
               (T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4) -> Any -> Any
forall a b. a -> b
coe
                 T__'8866'Ne'8902'__6 -> T__'8866'Nf'8902'__4
MAlonzo.Code.Type.BetaNormal.C_ne_20
                 ((T__'8715''8902'__14 -> T__'8866'Ne'8902'__6) -> Any -> Any
forall a b. a -> b
coe T__'8715''8902'__14 -> T__'8866'Ne'8902'__6
MAlonzo.Code.Type.BetaNormal.C_'96'_8 Any
v5)))
         (T__'8866'Nf'8902'__4 -> Any
forall a b. a -> b
coe T__'8866'Nf'8902'__4
v3))
      (T_SigTy_260 -> Any
forall a b. a -> b
coe T_SigTy_260
v2)
-- Algorithmic.Signature.uniqueSigTy
d_uniqueSigTy_180 ::
  Integer ->
  Integer ->
  Integer ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  Integer ->
  Integer ->
  Integer ->
  MAlonzo.Code.Utils.T__'8724'_'8803'__120 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260 ->
  MAlonzo.Code.Builtin.Signature.T_SigTy_260 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_uniqueSigTy_180 :: Integer
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T_Ctx'8902'_2
-> T__'8866'Nf'8902'__4
-> T_SigTy_260
-> T_SigTy_260
-> T__'8801'__12
d_uniqueSigTy_180 = Integer
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> Integer
-> Integer
-> Integer
-> T__'8724'_'8803'__120
-> T_Ctx'8902'_2
-> T__'8866'Nf'8902'__4
-> T_SigTy_260
-> T_SigTy_260
-> T__'8801'__12
forall a. a
erased