{-# 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.Raw 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.Bool
import qualified MAlonzo.Code.Agda.Builtin.String
import qualified MAlonzo.Code.Builtin
import qualified MAlonzo.Code.Builtin.Constant.AtomicType
import qualified MAlonzo.Code.Data.Bool.Base
import qualified MAlonzo.Code.Data.Integer.Show
import qualified MAlonzo.Code.Data.Nat.Properties
import qualified MAlonzo.Code.Data.String.Base
import qualified MAlonzo.Code.RawU
import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core
import qualified MAlonzo.Code.Utils

import Raw
-- Raw.RawTy
d_RawTy_2 :: ()
d_RawTy_2 = ()
type T_RawTy_2 = RType
pattern $mC_'96'_6 :: forall {r}. RType -> (Integer -> r) -> ((# #) -> r) -> r
$bC_'96'_6 :: Integer -> RType
C_'96'_6 a0 = RTyVar a0
pattern $mC__'8658'__8 :: forall {r}. RType -> (RType -> RType -> r) -> ((# #) -> r) -> r
$bC__'8658'__8 :: RType -> RType -> RType
C__'8658'__8 a0 a1 = RTyFun a0 a1
pattern $mC_Π_10 :: forall {r}. RType -> (KIND -> RType -> r) -> ((# #) -> r) -> r
$bC_Π_10 :: KIND -> RType -> RType
C_Π_10 a0 a1 = RTyPi a0 a1
pattern $mC_ƛ_12 :: forall {r}. RType -> (KIND -> RType -> r) -> ((# #) -> r) -> r
$bC_ƛ_12 :: KIND -> RType -> RType
C_ƛ_12 a0 a1 = RTyLambda a0 a1
pattern $mC__'183'__14 :: forall {r}. RType -> (RType -> RType -> r) -> ((# #) -> r) -> r
$bC__'183'__14 :: RType -> RType -> RType
C__'183'__14 a0 a1 = RTyApp a0 a1
pattern $mC_con_16 :: forall {r}. RType -> (RTyCon -> r) -> ((# #) -> r) -> r
$bC_con_16 :: RTyCon -> RType
C_con_16 a0 = RTyCon a0
pattern $mC_μ_18 :: forall {r}. RType -> (RType -> RType -> r) -> ((# #) -> r) -> r
$bC_μ_18 :: RType -> RType -> RType
C_μ_18 a0 a1 = RTyMu a0 a1
pattern $mC_SOP_22 :: forall {r}. RType -> ([[RType]] -> r) -> ((# #) -> r) -> r
$bC_SOP_22 :: [[RType]] -> RType
C_SOP_22 a0 = RTySOP a0
check_'96'_6 :: Integer -> T_RawTy_2
check_'96'_6 :: Integer -> RType
check_'96'_6 = Integer -> RType
RTyVar
check__'8658'__8 :: T_RawTy_2 -> T_RawTy_2 -> T_RawTy_2
check__'8658'__8 :: RType -> RType -> RType
check__'8658'__8 = RType -> RType -> RType
RTyFun
check_Π_10 ::
  MAlonzo.Code.Utils.T_Kind_652 -> T_RawTy_2 -> T_RawTy_2
check_Π_10 :: KIND -> RType -> RType
check_Π_10 = KIND -> RType -> RType
RTyPi
check_ƛ_12 ::
  MAlonzo.Code.Utils.T_Kind_652 -> T_RawTy_2 -> T_RawTy_2
check_ƛ_12 :: KIND -> RType -> RType
check_ƛ_12 = KIND -> RType -> RType
RTyLambda
check__'183'__14 :: T_RawTy_2 -> T_RawTy_2 -> T_RawTy_2
check__'183'__14 :: RType -> RType -> RType
check__'183'__14 = RType -> RType -> RType
RTyApp
check_con_16 :: T_RawTyCon_4 -> T_RawTy_2
check_con_16 :: RTyCon -> RType
check_con_16 = RTyCon -> RType
RTyCon
check_μ_18 :: T_RawTy_2 -> T_RawTy_2 -> T_RawTy_2
check_μ_18 :: RType -> RType -> RType
check_μ_18 = RType -> RType -> RType
RTyMu
check_SOP_22 ::
  MAlonzo.Code.Utils.T_List_384
    (MAlonzo.Code.Utils.T_List_384 T_RawTy_2) ->
  T_RawTy_2
check_SOP_22 :: [[RType]] -> RType
check_SOP_22 = [[RType]] -> RType
RTySOP
cover_RawTy_2 :: RType -> ()
cover_RawTy_2 :: RType -> ()
cover_RawTy_2 RType
x
  = case RType
x of
      RTyVar Integer
_ -> ()
      RTyFun RType
_ RType
_ -> ()
      RTyPi KIND
_ RType
_ -> ()
      RTyLambda KIND
_ RType
_ -> ()
      RTyApp RType
_ RType
_ -> ()
      RTyCon RTyCon
_ -> ()
      RTyMu RType
_ RType
_ -> ()
      RTySOP [[RType]]
_ -> ()
-- Raw.RawTyCon
d_RawTyCon_4 :: ()
d_RawTyCon_4 = ()
type T_RawTyCon_4 = RTyCon
pattern $mC_atomic_24 :: forall {r}. RTyCon -> (AtomicTyCon -> r) -> ((# #) -> r) -> r
$bC_atomic_24 :: AtomicTyCon -> RTyCon
C_atomic_24 a0 = RTyConAtom a0
pattern $mC_list_26 :: forall {r}. RTyCon -> ((# #) -> r) -> ((# #) -> r) -> r
$bC_list_26 :: RTyCon
C_list_26 = RTyConList
pattern $mC_array_28 :: forall {r}. RTyCon -> ((# #) -> r) -> ((# #) -> r) -> r
$bC_array_28 :: RTyCon
C_array_28 = RTyConArray
pattern $mC_pair_30 :: forall {r}. RTyCon -> ((# #) -> r) -> ((# #) -> r) -> r
$bC_pair_30 :: RTyCon
C_pair_30 = RTyConPair
check_atomic_24 ::
  MAlonzo.Code.Builtin.Constant.AtomicType.T_AtomicTyCon_6 ->
  T_RawTyCon_4
check_atomic_24 :: AtomicTyCon -> RTyCon
check_atomic_24 = AtomicTyCon -> RTyCon
RTyConAtom
check_list_26 :: T_RawTyCon_4
check_list_26 :: RTyCon
check_list_26 = RTyCon
RTyConList
check_array_28 :: T_RawTyCon_4
check_array_28 :: RTyCon
check_array_28 = RTyCon
RTyConArray
check_pair_30 :: T_RawTyCon_4
check_pair_30 :: RTyCon
check_pair_30 = RTyCon
RTyConPair
cover_RawTyCon_4 :: RTyCon -> ()
cover_RawTyCon_4 :: RTyCon -> ()
cover_RawTyCon_4 RTyCon
x
  = case RTyCon
x of
      RTyConAtom AtomicTyCon
_ -> ()
      RTyCon
RTyConList -> ()
      RTyCon
RTyConArray -> ()
      RTyCon
RTyConPair -> ()
-- Raw.RawTm
d_RawTm_32 :: ()
d_RawTm_32 = ()
type T_RawTm_32 = RTerm
pattern $mC_'96'_34 :: forall {r}. RTerm -> (Integer -> r) -> ((# #) -> r) -> r
$bC_'96'_34 :: Integer -> RTerm
C_'96'_34 a0 = RVar a0
pattern $mC_Λ_36 :: forall {r}. RTerm -> (KIND -> RTerm -> r) -> ((# #) -> r) -> r
$bC_Λ_36 :: KIND -> RTerm -> RTerm
C_Λ_36 a0 a1 = RTLambda a0 a1
pattern $mC__'183''8902'__38 :: forall {r}. RTerm -> (RTerm -> RType -> r) -> ((# #) -> r) -> r
$bC__'183''8902'__38 :: RTerm -> RType -> RTerm
C__'183''8902'__38 a0 a1 = RTApp a0 a1
pattern $mC_ƛ_40 :: forall {r}. RTerm -> (RType -> RTerm -> r) -> ((# #) -> r) -> r
$bC_ƛ_40 :: RType -> RTerm -> RTerm
C_ƛ_40 a0 a1 = RLambda a0 a1
pattern $mC__'183'__42 :: forall {r}. RTerm -> (RTerm -> RTerm -> r) -> ((# #) -> r) -> r
$bC__'183'__42 :: RTerm -> RTerm -> RTerm
C__'183'__42 a0 a1 = RApp a0 a1
pattern $mC_con_44 :: forall {r}.
RTerm -> (Some (ValueOf DefaultUni) -> r) -> ((# #) -> r) -> r
$bC_con_44 :: Some (ValueOf DefaultUni) -> RTerm
C_con_44 a0 = RCon a0
pattern $mC_error_46 :: forall {r}. RTerm -> (RType -> r) -> ((# #) -> r) -> r
$bC_error_46 :: RType -> RTerm
C_error_46 a0 = RError a0
pattern $mC_builtin_48 :: forall {r}. RTerm -> (DefaultFun -> r) -> ((# #) -> r) -> r
$bC_builtin_48 :: DefaultFun -> RTerm
C_builtin_48 a0 = RBuiltin a0
pattern $mC_wrap_50 :: forall {r}.
RTerm -> (RType -> RType -> RTerm -> r) -> ((# #) -> r) -> r
$bC_wrap_50 :: RType -> RType -> RTerm -> RTerm
C_wrap_50 a0 a1 a2 = RWrap a0 a1 a2
pattern $mC_unwrap_52 :: forall {r}. RTerm -> (RTerm -> r) -> ((# #) -> r) -> r
$bC_unwrap_52 :: RTerm -> RTerm
C_unwrap_52 a0 = RUnWrap a0
pattern $mC_constr_60 :: forall {r}.
RTerm -> (RType -> Integer -> [RTerm] -> r) -> ((# #) -> r) -> r
$bC_constr_60 :: RType -> Integer -> [RTerm] -> RTerm
C_constr_60 a0 a1 a2 = RConstr a0 a1 a2
pattern $mC_case_68 :: forall {r}.
RTerm -> (RType -> RTerm -> [RTerm] -> r) -> ((# #) -> r) -> r
$bC_case_68 :: RType -> RTerm -> [RTerm] -> RTerm
C_case_68 a0 a1 a2 = RCase a0 a1 a2
check_'96'_34 :: Integer -> T_RawTm_32
check_'96'_34 :: Integer -> RTerm
check_'96'_34 = Integer -> RTerm
RVar
check_Λ_36 ::
  MAlonzo.Code.Utils.T_Kind_652 -> T_RawTm_32 -> T_RawTm_32
check_Λ_36 :: KIND -> RTerm -> RTerm
check_Λ_36 = KIND -> RTerm -> RTerm
RTLambda
check__'183''8902'__38 :: T_RawTm_32 -> T_RawTy_2 -> T_RawTm_32
check__'183''8902'__38 :: RTerm -> RType -> RTerm
check__'183''8902'__38 = RTerm -> RType -> RTerm
RTApp
check_ƛ_40 :: T_RawTy_2 -> T_RawTm_32 -> T_RawTm_32
check_ƛ_40 :: RType -> RTerm -> RTerm
check_ƛ_40 = RType -> RTerm -> RTerm
RLambda
check__'183'__42 :: T_RawTm_32 -> T_RawTm_32 -> T_RawTm_32
check__'183'__42 :: RTerm -> RTerm -> RTerm
check__'183'__42 = RTerm -> RTerm -> RTerm
RApp
check_con_44 :: MAlonzo.Code.RawU.T_TagCon_106 -> T_RawTm_32
check_con_44 :: Some (ValueOf DefaultUni) -> RTerm
check_con_44 = Some (ValueOf DefaultUni) -> RTerm
RCon
check_error_46 :: T_RawTy_2 -> T_RawTm_32
check_error_46 :: RType -> RTerm
check_error_46 = RType -> RTerm
RError
check_builtin_48 :: MAlonzo.Code.Builtin.T_Builtin_2 -> T_RawTm_32
check_builtin_48 :: DefaultFun -> RTerm
check_builtin_48 = DefaultFun -> RTerm
RBuiltin
check_wrap_50 :: T_RawTy_2 -> T_RawTy_2 -> T_RawTm_32 -> T_RawTm_32
check_wrap_50 :: RType -> RType -> RTerm -> RTerm
check_wrap_50 = RType -> RType -> RTerm -> RTerm
RWrap
check_unwrap_52 :: T_RawTm_32 -> T_RawTm_32
check_unwrap_52 :: RTerm -> RTerm
check_unwrap_52 = RTerm -> RTerm
RUnWrap
check_constr_60 ::
  T_RawTy_2 ->
  Integer -> MAlonzo.Code.Utils.T_List_384 T_RawTm_32 -> T_RawTm_32
check_constr_60 :: RType -> Integer -> [RTerm] -> RTerm
check_constr_60 = RType -> Integer -> [RTerm] -> RTerm
RConstr
check_case_68 ::
  T_RawTy_2 ->
  T_RawTm_32 ->
  MAlonzo.Code.Utils.T_List_384 T_RawTm_32 -> T_RawTm_32
check_case_68 :: RType -> RTerm -> [RTerm] -> RTerm
check_case_68 = RType -> RTerm -> [RTerm] -> RTerm
RCase
cover_RawTm_32 :: RTerm -> ()
cover_RawTm_32 :: RTerm -> ()
cover_RawTm_32 RTerm
x
  = case RTerm
x of
      RVar Integer
_ -> ()
      RTLambda KIND
_ RTerm
_ -> ()
      RTApp RTerm
_ RType
_ -> ()
      RLambda RType
_ RTerm
_ -> ()
      RApp RTerm
_ RTerm
_ -> ()
      RCon Some (ValueOf DefaultUni)
_ -> ()
      RError RType
_ -> ()
      RBuiltin DefaultFun
_ -> ()
      RWrap RType
_ RType
_ RTerm
_ -> ()
      RUnWrap RTerm
_ -> ()
      RConstr RType
_ Integer
_ [RTerm]
_ -> ()
      RCase RType
_ RTerm
_ [RTerm]
_ -> ()
-- Raw.decRTyCon
d_decRTyCon_74 :: T_RawTyCon_4 -> T_RawTyCon_4 -> Bool
d_decRTyCon_74 :: RTyCon -> RTyCon -> Bool
d_decRTyCon_74 RTyCon
v0 RTyCon
v1
  = let v2 :: b
v2 = Bool -> b
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8 in
    Any -> Bool
forall a b. a -> b
coe
      (case RTyCon -> RTyCon
forall a b. a -> b
coe RTyCon
v0 of
         C_atomic_24 AtomicTyCon
v3
           -> case RTyCon -> RTyCon
forall a b. a -> b
coe RTyCon
v1 of
                C_atomic_24 AtomicTyCon
v4
                  -> (T_Dec_20 -> Bool) -> Any -> Any
forall a b. a -> b
coe
                       T_Dec_20 -> Bool
MAlonzo.Code.Relation.Nullary.Decidable.Core.d_does_28
                       ((AtomicTyCon -> AtomicTyCon -> T_Dec_20) -> Any -> Any -> Any
forall a b. a -> b
coe
                          AtomicTyCon -> AtomicTyCon -> T_Dec_20
MAlonzo.Code.Builtin.Constant.AtomicType.d_decAtomicTyCon_26
                          (AtomicTyCon -> Any
forall a b. a -> b
coe AtomicTyCon
v3) (AtomicTyCon -> Any
forall a b. a -> b
coe AtomicTyCon
v4))
                RTyCon
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         RTyCon
C_list_26
           -> case RTyCon -> RTyCon
forall a b. a -> b
coe RTyCon
v1 of
                RTyCon
C_list_26 -> Bool -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10
                RTyCon
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         RTyCon
C_array_28
           -> case RTyCon -> RTyCon
forall a b. a -> b
coe RTyCon
v1 of
                RTyCon
C_array_28 -> Bool -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10
                RTyCon
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         RTyCon
C_pair_30
           -> case RTyCon -> RTyCon
forall a b. a -> b
coe RTyCon
v1 of
                RTyCon
C_pair_30 -> Bool -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10
                RTyCon
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         RTyCon
_ -> Any
forall {b}. b
MAlonzo.RTE.mazUnreachableError)
-- Raw.decRKi
d_decRKi_84 ::
  MAlonzo.Code.Utils.T_Kind_652 ->
  MAlonzo.Code.Utils.T_Kind_652 -> Bool
d_decRKi_84 :: KIND -> KIND -> Bool
d_decRKi_84 KIND
v0 KIND
v1
  = case KIND -> KIND
forall a b. a -> b
coe KIND
v0 of
      KIND
MAlonzo.Code.Utils.C_'42'_654
        -> let v2 :: b
v2 = Bool -> b
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8 in
           Any -> Bool
forall a b. a -> b
coe
             (case KIND -> KIND
forall a b. a -> b
coe KIND
v1 of
                KIND
MAlonzo.Code.Utils.C_'42'_654
                  -> Bool -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10
                KIND
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2)
      KIND
MAlonzo.Code.Utils.C_'9839'_656
        -> let v2 :: b
v2 = Bool -> b
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8 in
           Any -> Bool
forall a b. a -> b
coe
             (case KIND -> KIND
forall a b. a -> b
coe KIND
v1 of
                KIND
MAlonzo.Code.Utils.C_'9839'_656
                  -> Bool -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10
                KIND
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2)
      MAlonzo.Code.Utils.C__'8658'__658 KIND
v2 KIND
v3
        -> let v4 :: b
v4 = Bool -> b
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8 in
           Any -> Bool
forall a b. a -> b
coe
             (case KIND -> KIND
forall a b. a -> b
coe KIND
v1 of
                MAlonzo.Code.Utils.C__'8658'__658 KIND
v5 KIND
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((KIND -> KIND -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe KIND -> KIND -> Bool
d_decRKi_84 (KIND -> Any
forall a b. a -> b
coe KIND
v2) (KIND -> Any
forall a b. a -> b
coe KIND
v5))
                       ((KIND -> KIND -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe KIND -> KIND -> Bool
d_decRKi_84 (KIND -> Any
forall a b. a -> b
coe KIND
v3) (KIND -> Any
forall a b. a -> b
coe KIND
v6))
                KIND
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v4)
      KIND
_ -> Bool
forall {b}. b
MAlonzo.RTE.mazUnreachableError
-- Raw.decRTy
d_decRTy_102 :: T_RawTy_2 -> T_RawTy_2 -> Bool
d_decRTy_102 :: RType -> RType -> Bool
d_decRTy_102 RType
v0 RType
v1
  = let v2 :: b
v2 = Bool -> b
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8 in
    Any -> Bool
forall a b. a -> b
coe
      (case RType -> RType
forall a b. a -> b
coe RType
v0 of
         C_'96'_6 Integer
v3
           -> case RType -> RType
forall a b. a -> b
coe RType
v1 of
                C_'96'_6 Integer
v4
                  -> (T_Dec_20 -> Bool) -> Any -> Any
forall a b. a -> b
coe
                       T_Dec_20 -> Bool
MAlonzo.Code.Relation.Nullary.Decidable.Core.d_does_28
                       ((Integer -> Integer -> T_Dec_20) -> Any -> Any -> Any
forall a b. a -> b
coe
                          Integer -> Integer -> T_Dec_20
MAlonzo.Code.Data.Nat.Properties.d__'8799'__2688 (Integer -> Any
forall a b. a -> b
coe Integer
v3) (Integer -> Any
forall a b. a -> b
coe Integer
v4))
                RType
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C__'8658'__8 RType
v3 RType
v4
           -> case RType -> RType
forall a b. a -> b
coe RType
v1 of
                C__'8658'__8 RType
v5 RType
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v3) (RType -> Any
forall a b. a -> b
coe RType
v5))
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v4) (RType -> Any
forall a b. a -> b
coe RType
v6))
                RType
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_Π_10 KIND
v3 RType
v4
           -> case RType -> RType
forall a b. a -> b
coe RType
v1 of
                C_Π_10 KIND
v5 RType
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((KIND -> KIND -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe KIND -> KIND -> Bool
d_decRKi_84 (KIND -> Any
forall a b. a -> b
coe KIND
v3) (KIND -> Any
forall a b. a -> b
coe KIND
v5))
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v4) (RType -> Any
forall a b. a -> b
coe RType
v6))
                RType
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_ƛ_12 KIND
v3 RType
v4
           -> case RType -> RType
forall a b. a -> b
coe RType
v1 of
                C_ƛ_12 KIND
v5 RType
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((KIND -> KIND -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe KIND -> KIND -> Bool
d_decRKi_84 (KIND -> Any
forall a b. a -> b
coe KIND
v3) (KIND -> Any
forall a b. a -> b
coe KIND
v5))
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v4) (RType -> Any
forall a b. a -> b
coe RType
v6))
                RType
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C__'183'__14 RType
v3 RType
v4
           -> case RType -> RType
forall a b. a -> b
coe RType
v1 of
                C__'183'__14 RType
v5 RType
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v3) (RType -> Any
forall a b. a -> b
coe RType
v5))
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v4) (RType -> Any
forall a b. a -> b
coe RType
v6))
                RType
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_con_16 RTyCon
v3
           -> case RType -> RType
forall a b. a -> b
coe RType
v1 of
                C_con_16 RTyCon
v4 -> (RTyCon -> RTyCon -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RTyCon -> RTyCon -> Bool
d_decRTyCon_74 (RTyCon -> Any
forall a b. a -> b
coe RTyCon
v3) (RTyCon -> Any
forall a b. a -> b
coe RTyCon
v4)
                RType
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_μ_18 RType
v3 RType
v4
           -> case RType -> RType
forall a b. a -> b
coe RType
v1 of
                C_μ_18 RType
v5 RType
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v3) (RType -> Any
forall a b. a -> b
coe RType
v5))
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v4) (RType -> Any
forall a b. a -> b
coe RType
v6))
                RType
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_SOP_22 [[RType]]
v3
           -> case RType -> RType
forall a b. a -> b
coe RType
v1 of
                C_SOP_22 [[RType]]
v4 -> ([[RType]] -> [[RType]] -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe [[RType]] -> [[RType]] -> Bool
d_decRTyListList_114 ([[RType]] -> Any
forall a b. a -> b
coe [[RType]]
v3) ([[RType]] -> Any
forall a b. a -> b
coe [[RType]]
v4)
                RType
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         RType
_ -> Any
forall {b}. b
MAlonzo.RTE.mazUnreachableError)
-- Raw.decRTyList
d_decRTyList_108 ::
  MAlonzo.Code.Utils.T_List_384 T_RawTy_2 ->
  MAlonzo.Code.Utils.T_List_384 T_RawTy_2 -> Bool
d_decRTyList_108 :: [RType] -> [RType] -> Bool
d_decRTyList_108 [RType]
v0 [RType]
v1
  = let v2 :: b
v2 = Bool -> b
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8 in
    Any -> Bool
forall a b. a -> b
coe
      (case [RType] -> [Any]
forall a b. a -> b
coe [RType]
v0 of
         [Any]
MAlonzo.Code.Utils.C_'91''93'_388
           -> case [RType] -> [Any]
forall a b. a -> b
coe [RType]
v1 of
                [Any]
MAlonzo.Code.Utils.C_'91''93'_388
                  -> Bool -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10
                [Any]
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         MAlonzo.Code.Utils.C__'8759'__390 Any
v3 [Any]
v4
           -> case [RType] -> [Any]
forall a b. a -> b
coe [RType]
v1 of
                MAlonzo.Code.Utils.C__'8759'__390 Any
v5 [Any]
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (Any -> Any
forall a b. a -> b
coe Any
v3) (Any -> Any
forall a b. a -> b
coe Any
v5))
                       (([RType] -> [RType] -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe [RType] -> [RType] -> Bool
d_decRTyList_108 ([Any] -> Any
forall a b. a -> b
coe [Any]
v4) ([Any] -> Any
forall a b. a -> b
coe [Any]
v6))
                [Any]
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         [Any]
_ -> Any
forall {b}. b
MAlonzo.RTE.mazUnreachableError)
-- Raw.decRTyListList
d_decRTyListList_114 ::
  MAlonzo.Code.Utils.T_List_384
    (MAlonzo.Code.Utils.T_List_384 T_RawTy_2) ->
  MAlonzo.Code.Utils.T_List_384
    (MAlonzo.Code.Utils.T_List_384 T_RawTy_2) ->
  Bool
d_decRTyListList_114 :: [[RType]] -> [[RType]] -> Bool
d_decRTyListList_114 [[RType]]
v0 [[RType]]
v1
  = let v2 :: b
v2 = Bool -> b
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8 in
    Any -> Bool
forall a b. a -> b
coe
      (case [[RType]] -> [Any]
forall a b. a -> b
coe [[RType]]
v0 of
         [Any]
MAlonzo.Code.Utils.C_'91''93'_388
           -> case [[RType]] -> [Any]
forall a b. a -> b
coe [[RType]]
v1 of
                [Any]
MAlonzo.Code.Utils.C_'91''93'_388
                  -> Bool -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10
                [Any]
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         MAlonzo.Code.Utils.C__'8759'__390 Any
v3 [Any]
v4
           -> case [[RType]] -> [Any]
forall a b. a -> b
coe [[RType]]
v1 of
                MAlonzo.Code.Utils.C__'8759'__390 Any
v5 [Any]
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       (([RType] -> [RType] -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe [RType] -> [RType] -> Bool
d_decRTyList_108 (Any -> Any
forall a b. a -> b
coe Any
v3) (Any -> Any
forall a b. a -> b
coe Any
v5))
                       (([[RType]] -> [[RType]] -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe [[RType]] -> [[RType]] -> Bool
d_decRTyListList_114 ([Any] -> Any
forall a b. a -> b
coe [Any]
v4) ([Any] -> Any
forall a b. a -> b
coe [Any]
v6))
                [Any]
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         [Any]
_ -> Any
forall {b}. b
MAlonzo.RTE.mazUnreachableError)
-- Raw.decRTm
d_decRTm_188 :: T_RawTm_32 -> T_RawTm_32 -> Bool
d_decRTm_188 :: RTerm -> RTerm -> Bool
d_decRTm_188 RTerm
v0 RTerm
v1
  = let v2 :: b
v2 = Bool -> b
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8 in
    Any -> Bool
forall a b. a -> b
coe
      (case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v0 of
         C_'96'_34 Integer
v3
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C_'96'_34 Integer
v4
                  -> (T_Dec_20 -> Bool) -> Any -> Any
forall a b. a -> b
coe
                       T_Dec_20 -> Bool
MAlonzo.Code.Relation.Nullary.Decidable.Core.d_does_28
                       ((Integer -> Integer -> T_Dec_20) -> Any -> Any -> Any
forall a b. a -> b
coe
                          Integer -> Integer -> T_Dec_20
MAlonzo.Code.Data.Nat.Properties.d__'8799'__2688 (Integer -> Any
forall a b. a -> b
coe Integer
v3) (Integer -> Any
forall a b. a -> b
coe Integer
v4))
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_Λ_36 KIND
v3 RTerm
v4
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C_Λ_36 KIND
v5 RTerm
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((KIND -> KIND -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe KIND -> KIND -> Bool
d_decRKi_84 (KIND -> Any
forall a b. a -> b
coe KIND
v3) (KIND -> Any
forall a b. a -> b
coe KIND
v5))
                       ((RTerm -> RTerm -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RTerm -> RTerm -> Bool
d_decRTm_188 (RTerm -> Any
forall a b. a -> b
coe RTerm
v4) (RTerm -> Any
forall a b. a -> b
coe RTerm
v6))
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C__'183''8902'__38 RTerm
v3 RType
v4
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C__'183''8902'__38 RTerm
v5 RType
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RTerm -> RTerm -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RTerm -> RTerm -> Bool
d_decRTm_188 (RTerm -> Any
forall a b. a -> b
coe RTerm
v3) (RTerm -> Any
forall a b. a -> b
coe RTerm
v5))
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v4) (RType -> Any
forall a b. a -> b
coe RType
v6))
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_ƛ_40 RType
v3 RTerm
v4
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C_ƛ_40 RType
v5 RTerm
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v3) (RType -> Any
forall a b. a -> b
coe RType
v5))
                       ((RTerm -> RTerm -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RTerm -> RTerm -> Bool
d_decRTm_188 (RTerm -> Any
forall a b. a -> b
coe RTerm
v4) (RTerm -> Any
forall a b. a -> b
coe RTerm
v6))
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C__'183'__42 RTerm
v3 RTerm
v4
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C__'183'__42 RTerm
v5 RTerm
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RTerm -> RTerm -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RTerm -> RTerm -> Bool
d_decRTm_188 (RTerm -> Any
forall a b. a -> b
coe RTerm
v3) (RTerm -> Any
forall a b. a -> b
coe RTerm
v5))
                       ((RTerm -> RTerm -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RTerm -> RTerm -> Bool
d_decRTm_188 (RTerm -> Any
forall a b. a -> b
coe RTerm
v4) (RTerm -> Any
forall a b. a -> b
coe RTerm
v6))
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_con_44 Some (ValueOf DefaultUni)
v3
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C_con_44 Some (ValueOf DefaultUni)
v4
                  -> (Some (ValueOf DefaultUni) -> Some (ValueOf DefaultUni) -> Bool)
-> Any -> Any -> Any
forall a b. a -> b
coe Some (ValueOf DefaultUni) -> Some (ValueOf DefaultUni) -> Bool
MAlonzo.Code.RawU.d_decTagCon_192 (Some (ValueOf DefaultUni) -> Any
forall a b. a -> b
coe Some (ValueOf DefaultUni)
v3) (Some (ValueOf DefaultUni) -> Any
forall a b. a -> b
coe Some (ValueOf DefaultUni)
v4)
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_error_46 RType
v3
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C_error_46 RType
v4 -> (RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v3) (RType -> Any
forall a b. a -> b
coe RType
v4)
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_builtin_48 DefaultFun
v3
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C_builtin_48 DefaultFun
v4
                  -> (T_Dec_20 -> Bool) -> Any -> Any
forall a b. a -> b
coe
                       T_Dec_20 -> Bool
MAlonzo.Code.Relation.Nullary.Decidable.Core.d_does_28
                       ((DefaultFun -> DefaultFun -> T_Dec_20) -> Any -> Any -> Any
forall a b. a -> b
coe DefaultFun -> DefaultFun -> T_Dec_20
MAlonzo.Code.Builtin.d_decBuiltin_418 (DefaultFun -> Any
forall a b. a -> b
coe DefaultFun
v3) (DefaultFun -> Any
forall a b. a -> b
coe DefaultFun
v4))
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_wrap_50 RType
v3 RType
v4 RTerm
v5
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C_wrap_50 RType
v6 RType
v7 RTerm
v8
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v3) (RType -> Any
forall a b. a -> b
coe RType
v6))
                       ((Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                          Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                          ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v4) (RType -> Any
forall a b. a -> b
coe RType
v7))
                          ((RTerm -> RTerm -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RTerm -> RTerm -> Bool
d_decRTm_188 (RTerm -> Any
forall a b. a -> b
coe RTerm
v5) (RTerm -> Any
forall a b. a -> b
coe RTerm
v8)))
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_unwrap_52 RTerm
v3
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C_unwrap_52 RTerm
v4 -> (RTerm -> RTerm -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RTerm -> RTerm -> Bool
d_decRTm_188 (RTerm -> Any
forall a b. a -> b
coe RTerm
v3) (RTerm -> Any
forall a b. a -> b
coe RTerm
v4)
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_constr_60 RType
v3 Integer
v4 [RTerm]
v5
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C_constr_60 RType
v6 Integer
v7 [RTerm]
v8
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v3) (RType -> Any
forall a b. a -> b
coe RType
v6))
                       ((Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                          Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                          ((T_Dec_20 -> Bool) -> Any -> Any
forall a b. a -> b
coe
                             T_Dec_20 -> Bool
MAlonzo.Code.Relation.Nullary.Decidable.Core.d_does_28
                             ((Integer -> Integer -> T_Dec_20) -> Any -> Any -> Any
forall a b. a -> b
coe
                                Integer -> Integer -> T_Dec_20
MAlonzo.Code.Data.Nat.Properties.d__'8799'__2688 (Integer -> Any
forall a b. a -> b
coe Integer
v4)
                                (Integer -> Any
forall a b. a -> b
coe Integer
v7)))
                          (([RTerm] -> [RTerm] -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe [RTerm] -> [RTerm] -> Bool
d_decRTmList_194 ([RTerm] -> Any
forall a b. a -> b
coe [RTerm]
v5) ([RTerm] -> Any
forall a b. a -> b
coe [RTerm]
v8)))
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         C_case_68 RType
v3 RTerm
v4 [RTerm]
v5
           -> case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1 of
                C_case_68 RType
v6 RTerm
v7 [RTerm]
v8
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RType -> RType -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RType -> RType -> Bool
d_decRTy_102 (RType -> Any
forall a b. a -> b
coe RType
v3) (RType -> Any
forall a b. a -> b
coe RType
v6))
                       ((Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                          Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                          ((RTerm -> RTerm -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RTerm -> RTerm -> Bool
d_decRTm_188 (RTerm -> Any
forall a b. a -> b
coe RTerm
v4) (RTerm -> Any
forall a b. a -> b
coe RTerm
v7))
                          (([RTerm] -> [RTerm] -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe [RTerm] -> [RTerm] -> Bool
d_decRTmList_194 ([RTerm] -> Any
forall a b. a -> b
coe [RTerm]
v5) ([RTerm] -> Any
forall a b. a -> b
coe [RTerm]
v8)))
                RTerm
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         RTerm
_ -> Any
forall {b}. b
MAlonzo.RTE.mazUnreachableError)
-- Raw.decRTmList
d_decRTmList_194 ::
  MAlonzo.Code.Utils.T_List_384 T_RawTm_32 ->
  MAlonzo.Code.Utils.T_List_384 T_RawTm_32 -> Bool
d_decRTmList_194 :: [RTerm] -> [RTerm] -> Bool
d_decRTmList_194 [RTerm]
v0 [RTerm]
v1
  = let v2 :: b
v2 = Bool -> b
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8 in
    Any -> Bool
forall a b. a -> b
coe
      (case [RTerm] -> [Any]
forall a b. a -> b
coe [RTerm]
v0 of
         [Any]
MAlonzo.Code.Utils.C_'91''93'_388
           -> case [RTerm] -> [Any]
forall a b. a -> b
coe [RTerm]
v1 of
                [Any]
MAlonzo.Code.Utils.C_'91''93'_388
                  -> Bool -> Any
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10
                [Any]
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         MAlonzo.Code.Utils.C__'8759'__390 Any
v3 [Any]
v4
           -> case [RTerm] -> [Any]
forall a b. a -> b
coe [RTerm]
v1 of
                MAlonzo.Code.Utils.C__'8759'__390 Any
v5 [Any]
v6
                  -> (Bool -> Bool -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
                       ((RTerm -> RTerm -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe RTerm -> RTerm -> Bool
d_decRTm_188 (Any -> Any
forall a b. a -> b
coe Any
v3) (Any -> Any
forall a b. a -> b
coe Any
v5))
                       (([RTerm] -> [RTerm] -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe [RTerm] -> [RTerm] -> Bool
d_decRTmList_194 ([Any] -> Any
forall a b. a -> b
coe [Any]
v4) ([Any] -> Any
forall a b. a -> b
coe [Any]
v6))
                [Any]
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {b}. b
v2
         [Any]
_ -> Any
forall {b}. b
MAlonzo.RTE.mazUnreachableError)
-- Raw.addBrackets
d_addBrackets_292 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_addBrackets_292 :: Text -> Text
d_addBrackets_292 Text
v0
  = (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
      (Text
"[" :: Data.Text.Text)
      ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
         Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
v0
         (Text
"]" :: Data.Text.Text))
-- Raw.rawTyPrinter
d_rawTyPrinter_296 ::
  T_RawTy_2 -> MAlonzo.Code.Agda.Builtin.String.T_String_6
d_rawTyPrinter_296 :: RType -> Text
d_rawTyPrinter_296 RType
v0
  = case RType -> RType
forall a b. a -> b
coe RType
v0 of
      C_'96'_6 Integer
v1 -> (Integer -> Text) -> Any -> Text
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Integer.Show.d_show_6 (Integer -> Any
forall a b. a -> b
coe Integer
v1)
      C__'8658'__8 RType
v1 RType
v2
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v1))
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (Text
"\8658" :: Data.Text.Text)
                   ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v2)) (Text
")" :: Data.Text.Text))))
      C_Π_10 KIND
v1 RType
v2
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(\928" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"kind" :: Data.Text.Text)
                ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v2)) (Text
")" :: Data.Text.Text)))
      C_ƛ_12 KIND
v1 RType
v2
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(\411" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"kind" :: Data.Text.Text)
                ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v2)) (Text
")" :: Data.Text.Text)))
      C__'183'__14 RType
v1 RType
v2
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v1))
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (Text
"\183" :: Data.Text.Text)
                   ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v2)) (Text
")" :: Data.Text.Text))))
      C_con_16 RTyCon
v1 -> Text -> Text
forall a b. a -> b
coe (Text
"(con)" :: Data.Text.Text)
      C_μ_18 RType
v1 RType
v2
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(\956" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v1))
                ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v2)) (Text
")" :: Data.Text.Text)))
      C_SOP_22 [[RType]]
v1
        -> (Text -> Text) -> Any -> Text
forall a b. a -> b
coe Text -> Text
d_addBrackets_292 (([[RType]] -> Text) -> Any -> Any
forall a b. a -> b
coe [[RType]] -> Text
d_rawTyListListPrinter_300 ([[RType]] -> Any
forall a b. a -> b
coe [[RType]]
v1))
      RType
_ -> Text
forall {b}. b
MAlonzo.RTE.mazUnreachableError
-- Raw.rawTyListPrinter
d_rawTyListPrinter_298 ::
  MAlonzo.Code.Utils.T_List_384 T_RawTy_2 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_rawTyListPrinter_298 :: [RType] -> Text
d_rawTyListPrinter_298 [RType]
v0
  = case [RType] -> [Any]
forall a b. a -> b
coe [RType]
v0 of
      [Any]
MAlonzo.Code.Utils.C_'91''93'_388 -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      MAlonzo.Code.Utils.C__'8759'__390 Any
v1 [Any]
v2
        -> case [Any] -> [Any]
forall a b. a -> b
coe [Any]
v2 of
             [Any]
MAlonzo.Code.Utils.C_'91''93'_388
               -> (RType -> Text) -> Any -> Text
forall a b. a -> b
coe RType -> Text
d_rawTyPrinter_296 (Any -> Any
forall a b. a -> b
coe Any
v1)
             MAlonzo.Code.Utils.C__'8759'__390 Any
v3 [Any]
v4
               -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
                    Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                    (RType -> Text
d_rawTyPrinter_296 (Any -> RType
forall a b. a -> b
coe Any
v1))
                    ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                       Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                       (Text
" , " :: Data.Text.Text) ([RType] -> Text
d_rawTyListPrinter_298 ([Any] -> [RType]
forall a b. a -> b
coe [Any]
v2)))
             [Any]
_ -> Text
forall {b}. b
MAlonzo.RTE.mazUnreachableError
      [Any]
_ -> Text
forall {b}. b
MAlonzo.RTE.mazUnreachableError
-- Raw.rawTyListListPrinter
d_rawTyListListPrinter_300 ::
  MAlonzo.Code.Utils.T_List_384
    (MAlonzo.Code.Utils.T_List_384 T_RawTy_2) ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_rawTyListListPrinter_300 :: [[RType]] -> Text
d_rawTyListListPrinter_300 [[RType]]
v0
  = case [[RType]] -> [Any]
forall a b. a -> b
coe [[RType]]
v0 of
      [Any]
MAlonzo.Code.Utils.C_'91''93'_388 -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      MAlonzo.Code.Utils.C__'8759'__390 Any
v1 [Any]
v2
        -> case [Any] -> [Any]
forall a b. a -> b
coe [Any]
v2 of
             [Any]
MAlonzo.Code.Utils.C_'91''93'_388
               -> (Text -> Text) -> Any -> Text
forall a b. a -> b
coe Text -> Text
d_addBrackets_292 (([RType] -> Text) -> Any -> Any
forall a b. a -> b
coe [RType] -> Text
d_rawTyListPrinter_298 (Any -> Any
forall a b. a -> b
coe Any
v1))
             MAlonzo.Code.Utils.C__'8759'__390 Any
v3 [Any]
v4
               -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
                    Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                    (Text -> Text
d_addBrackets_292 (([RType] -> Text) -> Any -> Text
forall a b. a -> b
coe [RType] -> Text
d_rawTyListPrinter_298 (Any -> Any
forall a b. a -> b
coe Any
v1)))
                    ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                       Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                       (Text
" , " :: Data.Text.Text) ([[RType]] -> Text
d_rawTyListListPrinter_300 ([Any] -> [[RType]]
forall a b. a -> b
coe [Any]
v2)))
             [Any]
_ -> Text
forall {b}. b
MAlonzo.RTE.mazUnreachableError
      [Any]
_ -> Text
forall {b}. b
MAlonzo.RTE.mazUnreachableError
-- Raw.rawListPrinter
d_rawListPrinter_344 ::
  MAlonzo.Code.Utils.T_List_384 T_RawTm_32 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_rawListPrinter_344 :: [RTerm] -> Text
d_rawListPrinter_344 [RTerm]
v0
  = case [RTerm] -> [Any]
forall a b. a -> b
coe [RTerm]
v0 of
      [Any]
MAlonzo.Code.Utils.C_'91''93'_388 -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      MAlonzo.Code.Utils.C__'8759'__390 Any
v1 [Any]
v2
        -> case [Any] -> [Any]
forall a b. a -> b
coe [Any]
v2 of
             [Any]
MAlonzo.Code.Utils.C_'91''93'_388 -> (RTerm -> Text) -> Any -> Text
forall a b. a -> b
coe RTerm -> Text
d_rawPrinter_346 (Any -> Any
forall a b. a -> b
coe Any
v1)
             MAlonzo.Code.Utils.C__'8759'__390 Any
v3 [Any]
v4
               -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
                    Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                    (RTerm -> Text
d_rawPrinter_346 (Any -> RTerm
forall a b. a -> b
coe Any
v1))
                    ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                       Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                       (Text
" , " :: Data.Text.Text) ([RTerm] -> Text
d_rawListPrinter_344 ([Any] -> [RTerm]
forall a b. a -> b
coe [Any]
v2)))
             [Any]
_ -> Text
forall {b}. b
MAlonzo.RTE.mazUnreachableError
      [Any]
_ -> Text
forall {b}. b
MAlonzo.RTE.mazUnreachableError
-- Raw.rawPrinter
d_rawPrinter_346 ::
  T_RawTm_32 -> MAlonzo.Code.Agda.Builtin.String.T_String_6
d_rawPrinter_346 :: RTerm -> Text
d_rawPrinter_346 RTerm
v0
  = case RTerm -> RTerm
forall a b. a -> b
coe RTerm
v0 of
      C_'96'_34 Integer
v1
        -> (Integer -> Text) -> Any -> Text
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Integer.Show.d_show_6 (Integer -> Any
forall a b. a -> b
coe Integer
v1)
      C_Λ_36 KIND
v1 RTerm
v2
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"\923" :: Data.Text.Text)
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (Text
"kind" :: Data.Text.Text)
                   ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (RTerm -> Text
d_rawPrinter_346 (RTerm -> RTerm
forall a b. a -> b
coe RTerm
v2)) (Text
")" :: Data.Text.Text))))
      C__'183''8902'__38 RTerm
v1 RType
v2
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (RTerm -> Text
d_rawPrinter_346 (RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1))
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (Text
"\183\8902" :: Data.Text.Text)
                   ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v2)) (Text
")" :: Data.Text.Text))))
      C_ƛ_40 RType
v1 RTerm
v2
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"\411" :: Data.Text.Text)
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v1))
                   ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (RTerm -> Text
d_rawPrinter_346 (RTerm -> RTerm
forall a b. a -> b
coe RTerm
v2)) (Text
")" :: Data.Text.Text))))
      C__'183'__42 RTerm
v1 RTerm
v2
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (RTerm -> Text
d_rawPrinter_346 (RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1))
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (Text
"\183" :: Data.Text.Text)
                   ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (RTerm -> Text
d_rawPrinter_346 (RTerm -> RTerm
forall a b. a -> b
coe RTerm
v2)) (Text
")" :: Data.Text.Text))))
      C_con_44 Some (ValueOf DefaultUni)
v1 -> Text -> Text
forall a b. a -> b
coe (Text
"(con)" :: Data.Text.Text)
      C_error_46 RType
v1
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(error" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v1)) (Text
")" :: Data.Text.Text))
      C_builtin_48 DefaultFun
v1 -> Text -> Text
forall a b. a -> b
coe (Text
"(builtin)" :: Data.Text.Text)
      C_wrap_50 RType
v1 RType
v2 RTerm
v3
        -> (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(wrap" :: Data.Text.Text) (Text
")" :: Data.Text.Text)
      C_unwrap_52 RTerm
v1
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(unwrap" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (RTerm -> Text
d_rawPrinter_346 (RTerm -> RTerm
forall a b. a -> b
coe RTerm
v1)) (Text
")" :: Data.Text.Text))
      C_constr_60 RType
v1 Integer
v2 [RTerm]
v3
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(const" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v1))
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (Text
" " :: Data.Text.Text)
                   ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (Integer -> Text
MAlonzo.Code.Data.Integer.Show.d_show_6 (Integer -> Integer
forall a b. a -> b
coe Integer
v2))
                      ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                         Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                         (Text
" [" :: Data.Text.Text)
                         ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                            Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                            ([RTerm] -> Text
d_rawListPrinter_344 ([RTerm] -> [RTerm]
forall a b. a -> b
coe [RTerm]
v3)) (Text
"])" :: Data.Text.Text))))))
      C_case_68 RType
v1 RTerm
v2 [RTerm]
v3
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"(case" :: Data.Text.Text)
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (RType -> Text
d_rawTyPrinter_296 (RType -> RType
forall a b. a -> b
coe RType
v1))
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (Text
" " :: Data.Text.Text)
                   ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (RTerm -> Text
d_rawPrinter_346 (RTerm -> RTerm
forall a b. a -> b
coe RTerm
v2))
                      ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                         Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                         (Text
" [" :: Data.Text.Text)
                         ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                            Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                            ([RTerm] -> Text
d_rawListPrinter_344 ([RTerm] -> [RTerm]
forall a b. a -> b
coe [RTerm]
v3)) (Text
"])" :: Data.Text.Text))))))
      RTerm
_ -> Text
forall {b}. b
MAlonzo.RTE.mazUnreachableError