{-# 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.Data.List.Membership.DecSetoid 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.Sigma
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Data.List.Membership.Setoid
import qualified MAlonzo.Code.Data.List.Relation.Unary.Any
import qualified MAlonzo.Code.Relation.Binary.Bundles
import qualified MAlonzo.Code.Relation.Binary.Structures
import qualified MAlonzo.Code.Relation.Nullary
import qualified MAlonzo.Code.Relation.Nullary.Negation.Core

-- Data.List.Membership.DecSetoid._._∈_
d__'8712'__44 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  AgdaAny -> [AgdaAny] -> ()
d__'8712'__44 :: T_Level_18
-> T_Level_18
-> T_DecSetoid_84
-> AgdaAny
-> [AgdaAny]
-> T_Level_18
d__'8712'__44 = T_Level_18
-> T_Level_18
-> T_DecSetoid_84
-> AgdaAny
-> [AgdaAny]
-> T_Level_18
forall a. a
erased
-- Data.List.Membership.DecSetoid._._∉_
d__'8713'__46 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  AgdaAny -> [AgdaAny] -> ()
d__'8713'__46 :: T_Level_18
-> T_Level_18
-> T_DecSetoid_84
-> AgdaAny
-> [AgdaAny]
-> T_Level_18
d__'8713'__46 = T_Level_18
-> T_Level_18
-> T_DecSetoid_84
-> AgdaAny
-> [AgdaAny]
-> T_Level_18
forall a. a
erased
-- Data.List.Membership.DecSetoid._.find
d_find_48 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  [AgdaAny] ->
  MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 ->
  MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_find_48 :: T_Level_18
-> T_Level_18
-> T_DecSetoid_84
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> [AgdaAny]
-> T_Any_34
-> T_Σ_14
d_find_48 ~T_Level_18
v0 ~T_Level_18
v1 T_DecSetoid_84
v2 = T_DecSetoid_84
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> [AgdaAny]
-> T_Any_34
-> T_Σ_14
du_find_48 T_DecSetoid_84
v2
du_find_48 ::
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  [AgdaAny] ->
  MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 ->
  MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_find_48 :: T_DecSetoid_84
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> [AgdaAny]
-> T_Any_34
-> T_Σ_14
du_find_48 T_DecSetoid_84
v0 T_Level_18
v1 AgdaAny -> T_Level_18
v2 [AgdaAny]
v3 T_Any_34
v4
  = (T_Setoid_44 -> [AgdaAny] -> T_Any_34 -> T_Σ_14)
-> AgdaAny -> [AgdaAny] -> T_Any_34 -> T_Σ_14
forall a b. a -> b
coe
      T_Setoid_44 -> [AgdaAny] -> T_Any_34 -> T_Σ_14
MAlonzo.Code.Data.List.Membership.Setoid.du_find_80
      ((T_DecSetoid_84 -> T_Setoid_44) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_DecSetoid_84 -> T_Setoid_44
MAlonzo.Code.Relation.Binary.Bundles.du_setoid_118 (T_DecSetoid_84 -> AgdaAny
forall a b. a -> b
coe T_DecSetoid_84
v0))
      [AgdaAny]
v3 T_Any_34
v4
-- Data.List.Membership.DecSetoid._.lose
d_lose_50 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) ->
  AgdaAny ->
  [AgdaAny] ->
  MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 ->
  AgdaAny -> MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34
d_lose_50 :: T_Level_18
-> T_Level_18
-> T_DecSetoid_84
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny
-> [AgdaAny]
-> T_Any_34
-> AgdaAny
-> T_Any_34
d_lose_50 ~T_Level_18
v0 ~T_Level_18
v1 ~T_DecSetoid_84
v2 = T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny
-> [AgdaAny]
-> T_Any_34
-> AgdaAny
-> T_Any_34
du_lose_50
du_lose_50 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) ->
  AgdaAny ->
  [AgdaAny] ->
  MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 ->
  AgdaAny -> MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34
du_lose_50 :: T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny
-> [AgdaAny]
-> T_Any_34
-> AgdaAny
-> T_Any_34
du_lose_50 T_Level_18
v0 AgdaAny -> T_Level_18
v1 AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
v2 AgdaAny
v3 [AgdaAny]
v4 T_Any_34
v5 AgdaAny
v6
  = ((AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> T_Any_34 -> AgdaAny -> T_Any_34)
-> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny
-> [AgdaAny]
-> T_Any_34
-> AgdaAny
-> T_Any_34
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> [AgdaAny] -> T_Any_34 -> AgdaAny -> T_Any_34
MAlonzo.Code.Data.List.Membership.Setoid.du_lose_90 AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
v2 AgdaAny
v3 [AgdaAny]
v4 T_Any_34
v5 AgdaAny
v6
-- Data.List.Membership.DecSetoid._.map-with-∈
d_map'45'with'45''8712'_52 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [AgdaAny] ->
  (AgdaAny ->
   MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> AgdaAny) ->
  [AgdaAny]
d_map'45'with'45''8712'_52 :: T_Level_18
-> T_Level_18
-> T_DecSetoid_84
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Any_34 -> AgdaAny)
-> [AgdaAny]
d_map'45'with'45''8712'_52 ~T_Level_18
v0 ~T_Level_18
v1 T_DecSetoid_84
v2
  = T_DecSetoid_84
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Any_34 -> AgdaAny)
-> [AgdaAny]
du_map'45'with'45''8712'_52 T_DecSetoid_84
v2
du_map'45'with'45''8712'_52 ::
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [AgdaAny] ->
  (AgdaAny ->
   MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> AgdaAny) ->
  [AgdaAny]
du_map'45'with'45''8712'_52 :: T_DecSetoid_84
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Any_34 -> AgdaAny)
-> [AgdaAny]
du_map'45'with'45''8712'_52 T_DecSetoid_84
v0
  = (T_Setoid_44
 -> T_Level_18
 -> T_Level_18
 -> [AgdaAny]
 -> (AgdaAny -> T_Any_34 -> AgdaAny)
 -> [AgdaAny])
-> AgdaAny
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Any_34 -> AgdaAny)
-> [AgdaAny]
forall a b. a -> b
coe
      T_Setoid_44
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Any_34 -> AgdaAny)
-> [AgdaAny]
MAlonzo.Code.Data.List.Membership.Setoid.du_map'45'with'45''8712'_98
      ((T_DecSetoid_84 -> T_Setoid_44) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_DecSetoid_84 -> T_Setoid_44
MAlonzo.Code.Relation.Binary.Bundles.du_setoid_118 (T_DecSetoid_84 -> AgdaAny
forall a b. a -> b
coe T_DecSetoid_84
v0))
-- Data.List.Membership.DecSetoid._.mapWith∈
d_mapWith'8712'_54 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [AgdaAny] ->
  (AgdaAny ->
   MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> AgdaAny) ->
  [AgdaAny]
d_mapWith'8712'_54 :: T_Level_18
-> T_Level_18
-> T_DecSetoid_84
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Any_34 -> AgdaAny)
-> [AgdaAny]
d_mapWith'8712'_54 ~T_Level_18
v0 ~T_Level_18
v1 T_DecSetoid_84
v2 = T_DecSetoid_84
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Any_34 -> AgdaAny)
-> [AgdaAny]
du_mapWith'8712'_54 T_DecSetoid_84
v2
du_mapWith'8712'_54 ::
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [AgdaAny] ->
  (AgdaAny ->
   MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> AgdaAny) ->
  [AgdaAny]
du_mapWith'8712'_54 :: T_DecSetoid_84
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Any_34 -> AgdaAny)
-> [AgdaAny]
du_mapWith'8712'_54 T_DecSetoid_84
v0 T_Level_18
v1 T_Level_18
v2 [AgdaAny]
v3 AgdaAny -> T_Any_34 -> AgdaAny
v4
  = (T_Setoid_44
 -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> [AgdaAny])
-> AgdaAny
-> [AgdaAny]
-> (AgdaAny -> T_Any_34 -> AgdaAny)
-> [AgdaAny]
forall a b. a -> b
coe
      T_Setoid_44
-> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> [AgdaAny]
MAlonzo.Code.Data.List.Membership.Setoid.du_mapWith'8712'_58
      ((T_DecSetoid_84 -> T_Setoid_44) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_DecSetoid_84 -> T_Setoid_44
MAlonzo.Code.Relation.Binary.Bundles.du_setoid_118 (T_DecSetoid_84 -> AgdaAny
forall a b. a -> b
coe T_DecSetoid_84
v0))
      [AgdaAny]
v3 AgdaAny -> T_Any_34 -> AgdaAny
v4
-- Data.List.Membership.DecSetoid._.Any._∷=_
d__'8759''61'__58 ::
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  [AgdaAny] ->
  (AgdaAny -> ()) ->
  MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 ->
  AgdaAny -> [AgdaAny]
d__'8759''61'__58 :: T_DecSetoid_84
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Level_18)
-> T_Any_34
-> AgdaAny
-> [AgdaAny]
d__'8759''61'__58 ~T_DecSetoid_84
v0 = T_Level_18
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Level_18)
-> T_Any_34
-> AgdaAny
-> [AgdaAny]
du__'8759''61'__58
du__'8759''61'__58 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  [AgdaAny] ->
  (AgdaAny -> ()) ->
  MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 ->
  AgdaAny -> [AgdaAny]
du__'8759''61'__58 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> (AgdaAny -> T_Level_18)
-> T_Any_34
-> AgdaAny
-> [AgdaAny]
du__'8759''61'__58 T_Level_18
v0 T_Level_18
v1 T_Level_18
v2 [AgdaAny]
v3 AgdaAny -> T_Level_18
v4 T_Any_34
v5 AgdaAny
v6
  = ([AgdaAny] -> T_Any_34 -> AgdaAny -> [AgdaAny])
-> [AgdaAny] -> T_Any_34 -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
      [AgdaAny] -> T_Any_34 -> AgdaAny -> [AgdaAny]
MAlonzo.Code.Data.List.Relation.Unary.Any.du__'8759''61'__102 [AgdaAny]
v3 T_Any_34
v5
      AgdaAny
v6
-- Data.List.Membership.DecSetoid._.Any._─_
d__'9472'__60 ::
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  [AgdaAny] ->
  MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> [AgdaAny]
d__'9472'__60 :: T_DecSetoid_84
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> [AgdaAny]
-> T_Any_34
-> [AgdaAny]
d__'9472'__60 ~T_DecSetoid_84
v0 = T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> [AgdaAny]
-> T_Any_34
-> [AgdaAny]
du__'9472'__60
du__'9472'__60 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  [AgdaAny] ->
  MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> [AgdaAny]
du__'9472'__60 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> [AgdaAny]
-> T_Any_34
-> [AgdaAny]
du__'9472'__60 T_Level_18
v0 T_Level_18
v1 T_Level_18
v2 AgdaAny -> T_Level_18
v3 [AgdaAny]
v4 T_Any_34
v5
  = ([AgdaAny] -> T_Any_34 -> [AgdaAny])
-> [AgdaAny] -> T_Any_34 -> [AgdaAny]
forall a b. a -> b
coe
      [AgdaAny] -> T_Any_34 -> [AgdaAny]
MAlonzo.Code.Data.List.Relation.Unary.Any.du__'9472'__114 [AgdaAny]
v4 T_Any_34
v5
-- Data.List.Membership.DecSetoid._∈?_
d__'8712''63'__62 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  AgdaAny -> [AgdaAny] -> MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8712''63'__62 :: T_Level_18
-> T_Level_18 -> T_DecSetoid_84 -> AgdaAny -> [AgdaAny] -> T_Dec_32
d__'8712''63'__62 ~T_Level_18
v0 ~T_Level_18
v1 T_DecSetoid_84
v2 AgdaAny
v3 [AgdaAny]
v4 = T_DecSetoid_84 -> AgdaAny -> [AgdaAny] -> T_Dec_32
du__'8712''63'__62 T_DecSetoid_84
v2 AgdaAny
v3 [AgdaAny]
v4
du__'8712''63'__62 ::
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  AgdaAny -> [AgdaAny] -> MAlonzo.Code.Relation.Nullary.T_Dec_32
du__'8712''63'__62 :: T_DecSetoid_84 -> AgdaAny -> [AgdaAny] -> T_Dec_32
du__'8712''63'__62 T_DecSetoid_84
v0 AgdaAny
v1 [AgdaAny]
v2
  = ((AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Dec_32)
-> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe
      (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Dec_32
MAlonzo.Code.Data.List.Relation.Unary.Any.du_any'63'_138
      ((T_IsDecEquivalence_44 -> AgdaAny -> AgdaAny -> T_Dec_32)
-> T_IsDecEquivalence_44 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         T_IsDecEquivalence_44 -> AgdaAny -> AgdaAny -> T_Dec_32
MAlonzo.Code.Relation.Binary.Structures.d__'8799'__52
         (T_DecSetoid_84 -> T_IsDecEquivalence_44
MAlonzo.Code.Relation.Binary.Bundles.d_isDecEquivalence_100
            (T_DecSetoid_84 -> T_DecSetoid_84
forall a b. a -> b
coe T_DecSetoid_84
v0))
         AgdaAny
v1)
      ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2)
-- Data.List.Membership.DecSetoid._∉?_
d__'8713''63'__70 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  AgdaAny -> [AgdaAny] -> MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8713''63'__70 :: T_Level_18
-> T_Level_18 -> T_DecSetoid_84 -> AgdaAny -> [AgdaAny] -> T_Dec_32
d__'8713''63'__70 ~T_Level_18
v0 ~T_Level_18
v1 T_DecSetoid_84
v2 AgdaAny
v3 [AgdaAny]
v4 = T_DecSetoid_84 -> AgdaAny -> [AgdaAny] -> T_Dec_32
du__'8713''63'__70 T_DecSetoid_84
v2 AgdaAny
v3 [AgdaAny]
v4
du__'8713''63'__70 ::
  MAlonzo.Code.Relation.Binary.Bundles.T_DecSetoid_84 ->
  AgdaAny -> [AgdaAny] -> MAlonzo.Code.Relation.Nullary.T_Dec_32
du__'8713''63'__70 :: T_DecSetoid_84 -> AgdaAny -> [AgdaAny] -> T_Dec_32
du__'8713''63'__70 T_DecSetoid_84
v0 AgdaAny
v1 [AgdaAny]
v2
  = (T_Dec_32 -> T_Dec_32) -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe
      T_Dec_32 -> T_Dec_32
MAlonzo.Code.Relation.Nullary.Negation.Core.du_'172''63'_64
      ((T_DecSetoid_84 -> AgdaAny -> [AgdaAny] -> T_Dec_32)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_DecSetoid_84 -> AgdaAny -> [AgdaAny] -> T_Dec_32
du__'8712''63'__62 (T_DecSetoid_84 -> AgdaAny
forall a b. a -> b
coe T_DecSetoid_84
v0) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2))