{-# 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.DifferenceList 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.List
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Data.List.Base
import qualified MAlonzo.Code.Function.Base

-- Data.DifferenceList.DiffList
d_DiffList_12 :: MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> ()
d_DiffList_12 :: T_Level_18 -> T_Level_18 -> T_Level_18
d_DiffList_12 = T_Level_18 -> T_Level_18 -> T_Level_18
forall a. a
erased
-- Data.DifferenceList.lift
d_lift_16 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  ([AgdaAny] -> [AgdaAny]) ->
  ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
d_lift_16 :: T_Level_18
-> T_Level_18
-> ([AgdaAny] -> [AgdaAny])
-> ([AgdaAny] -> [AgdaAny])
-> [AgdaAny]
-> [AgdaAny]
d_lift_16 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny] -> [AgdaAny]
v2 [AgdaAny] -> [AgdaAny]
v3 [AgdaAny]
v4 = ([AgdaAny] -> [AgdaAny])
-> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_lift_16 [AgdaAny] -> [AgdaAny]
v2 [AgdaAny] -> [AgdaAny]
v3 [AgdaAny]
v4
du_lift_16 ::
  ([AgdaAny] -> [AgdaAny]) ->
  ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_lift_16 :: ([AgdaAny] -> [AgdaAny])
-> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_lift_16 [AgdaAny] -> [AgdaAny]
v0 [AgdaAny] -> [AgdaAny]
v1 [AgdaAny]
v2 = ([AgdaAny] -> [AgdaAny]) -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny]
v0 (([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny]
v1 [AgdaAny]
v2)
-- Data.DifferenceList.[]
d_'91''93'_24 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> [AgdaAny]
d_'91''93'_24 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> [AgdaAny]
d_'91''93'_24 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> [AgdaAny]
du_'91''93'_24 [AgdaAny]
v2
du_'91''93'_24 :: [AgdaAny] -> [AgdaAny]
du_'91''93'_24 :: [AgdaAny] -> [AgdaAny]
du_'91''93'_24 [AgdaAny]
v0 = [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0
-- Data.DifferenceList._∷_
d__'8759'__28 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
d__'8759'__28 :: T_Level_18
-> T_Level_18
-> AgdaAny
-> ([AgdaAny] -> [AgdaAny])
-> [AgdaAny]
-> [AgdaAny]
d__'8759'__28 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny
v2 = AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du__'8759'__28 AgdaAny
v2
du__'8759'__28 ::
  AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du__'8759'__28 :: AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du__'8759'__28 AgdaAny
v0
  = (([AgdaAny] -> [AgdaAny])
 -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe
      ([AgdaAny] -> [AgdaAny])
-> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_lift_16
      ((AgdaAny -> [AgdaAny] -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v0))
-- Data.DifferenceList.[_]
d_'91'_'93'_34 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> [AgdaAny] -> [AgdaAny]
d_'91'_'93'_34 :: T_Level_18 -> T_Level_18 -> AgdaAny -> [AgdaAny] -> [AgdaAny]
d_'91'_'93'_34 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny
v2 = AgdaAny -> [AgdaAny] -> [AgdaAny]
du_'91'_'93'_34 AgdaAny
v2
du_'91'_'93'_34 :: AgdaAny -> [AgdaAny] -> [AgdaAny]
du_'91'_'93'_34 :: AgdaAny -> [AgdaAny] -> [AgdaAny]
du_'91'_'93'_34 AgdaAny
v0 = (AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du__'8759'__28 AgdaAny
v0 (\ AgdaAny
v1 -> AgdaAny
v1)
-- Data.DifferenceList._++_
d__'43''43'__38 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  ([AgdaAny] -> [AgdaAny]) ->
  ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
d__'43''43'__38 :: T_Level_18
-> T_Level_18
-> ([AgdaAny] -> [AgdaAny])
-> ([AgdaAny] -> [AgdaAny])
-> [AgdaAny]
-> [AgdaAny]
d__'43''43'__38 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny] -> [AgdaAny]
v2 [AgdaAny] -> [AgdaAny]
v3 [AgdaAny]
v4 = ([AgdaAny] -> [AgdaAny])
-> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du__'43''43'__38 [AgdaAny] -> [AgdaAny]
v2 [AgdaAny] -> [AgdaAny]
v3 [AgdaAny]
v4
du__'43''43'__38 ::
  ([AgdaAny] -> [AgdaAny]) ->
  ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du__'43''43'__38 :: ([AgdaAny] -> [AgdaAny])
-> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du__'43''43'__38 [AgdaAny] -> [AgdaAny]
v0 [AgdaAny] -> [AgdaAny]
v1 [AgdaAny]
v2 = ([AgdaAny] -> [AgdaAny]) -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny]
v0 (([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny]
v1 [AgdaAny]
v2)
-- Data.DifferenceList._∷ʳ_
d__'8759''691'__46 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> ([AgdaAny] -> [AgdaAny]) -> AgdaAny -> [AgdaAny] -> [AgdaAny]
d__'8759''691'__46 :: T_Level_18
-> T_Level_18
-> ([AgdaAny] -> [AgdaAny])
-> AgdaAny
-> [AgdaAny]
-> [AgdaAny]
d__'8759''691'__46 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny] -> [AgdaAny]
v2 AgdaAny
v3 [AgdaAny]
v4 = ([AgdaAny] -> [AgdaAny]) -> AgdaAny -> [AgdaAny] -> [AgdaAny]
du__'8759''691'__46 [AgdaAny] -> [AgdaAny]
v2 AgdaAny
v3 [AgdaAny]
v4
du__'8759''691'__46 ::
  ([AgdaAny] -> [AgdaAny]) -> AgdaAny -> [AgdaAny] -> [AgdaAny]
du__'8759''691'__46 :: ([AgdaAny] -> [AgdaAny]) -> AgdaAny -> [AgdaAny] -> [AgdaAny]
du__'8759''691'__46 [AgdaAny] -> [AgdaAny]
v0 AgdaAny
v1 [AgdaAny]
v2
  = ([AgdaAny] -> [AgdaAny]) -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
      [AgdaAny] -> [AgdaAny]
v0
      ((AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2))
-- Data.DifferenceList.toList
d_toList_54 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny]
d_toList_54 :: T_Level_18 -> T_Level_18 -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny]
d_toList_54 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny] -> [AgdaAny]
v2 = ([AgdaAny] -> [AgdaAny]) -> [AgdaAny]
du_toList_54 [AgdaAny] -> [AgdaAny]
v2
du_toList_54 :: ([AgdaAny] -> [AgdaAny]) -> [AgdaAny]
du_toList_54 :: ([AgdaAny] -> [AgdaAny]) -> [AgdaAny]
du_toList_54 [AgdaAny] -> [AgdaAny]
v0
  = ([AgdaAny] -> [AgdaAny]) -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny]
v0 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)
-- Data.DifferenceList.fromList
d_fromList_58 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d_fromList_58 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d_fromList_58 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_fromList_58 [AgdaAny]
v2
du_fromList_58 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_fromList_58 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_fromList_58 [AgdaAny]
v0
  = (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe
      AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'10216'_'10217'__250 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0)
      (([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du__'43''43'__60)
-- Data.DifferenceList.map
d_map_64 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny) ->
  ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
d_map_64 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny)
-> ([AgdaAny] -> [AgdaAny])
-> [AgdaAny]
-> [AgdaAny]
d_map_64 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 AgdaAny -> AgdaAny
v4 [AgdaAny] -> [AgdaAny]
v5 = (AgdaAny -> AgdaAny)
-> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_map_64 AgdaAny -> AgdaAny
v4 [AgdaAny] -> [AgdaAny]
v5
du_map_64 ::
  (AgdaAny -> AgdaAny) ->
  ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_map_64 :: (AgdaAny -> AgdaAny)
-> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_map_64 AgdaAny -> AgdaAny
v0 [AgdaAny] -> [AgdaAny]
v1
  = (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe
      AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'10216'_'10217'__250
      (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_map_22 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny
v0)
         ((([AgdaAny] -> [AgdaAny]) -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe ([AgdaAny] -> [AgdaAny]) -> [AgdaAny]
du_toList_54 (([AgdaAny] -> [AgdaAny]) -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny]
v1)))
      (([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du__'43''43'__60)
-- Data.DifferenceList.concat
d_concat_72 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  ([[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]]) ->
  [AgdaAny] -> [AgdaAny]
d_concat_72 :: T_Level_18
-> T_Level_18
-> ([[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]])
-> [AgdaAny]
-> [AgdaAny]
d_concat_72 ~T_Level_18
v0 ~T_Level_18
v1 [[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]]
v2 = ([[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]])
-> [AgdaAny] -> [AgdaAny]
du_concat_72 [[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]]
v2
du_concat_72 ::
  ([[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]]) ->
  [AgdaAny] -> [AgdaAny]
du_concat_72 :: ([[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]])
-> [AgdaAny] -> [AgdaAny]
du_concat_72 [[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]]
v0
  = ([[AgdaAny] -> [AgdaAny]] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [[AgdaAny] -> [AgdaAny]] -> [AgdaAny] -> [AgdaAny]
du_concat'8242'_80 ((([AgdaAny] -> [AgdaAny]) -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe ([AgdaAny] -> [AgdaAny]) -> [AgdaAny]
du_toList_54 (([[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]]) -> AgdaAny
forall a b. a -> b
coe [[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]]
v0))
-- Data.DifferenceList._.concat′
d_concat'8242'_80 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  ([[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]]) ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [[AgdaAny] -> [AgdaAny]] -> [AgdaAny] -> [AgdaAny]
d_concat'8242'_80 :: T_Level_18
-> T_Level_18
-> ([[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]])
-> T_Level_18
-> T_Level_18
-> [[AgdaAny] -> [AgdaAny]]
-> [AgdaAny]
-> [AgdaAny]
d_concat'8242'_80 ~T_Level_18
v0 ~T_Level_18
v1 ~[[AgdaAny] -> [AgdaAny]] -> [[AgdaAny] -> [AgdaAny]]
v2 ~T_Level_18
v3 ~T_Level_18
v4 = [[AgdaAny] -> [AgdaAny]] -> [AgdaAny] -> [AgdaAny]
du_concat'8242'_80
du_concat'8242'_80 ::
  [[AgdaAny] -> [AgdaAny]] -> [AgdaAny] -> [AgdaAny]
du_concat'8242'_80 :: [[AgdaAny] -> [AgdaAny]] -> [AgdaAny] -> [AgdaAny]
du_concat'8242'_80
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny
-> AgdaAny
-> [[AgdaAny] -> [AgdaAny]]
-> [AgdaAny]
-> [AgdaAny]
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
MAlonzo.Code.Data.List.Base.du_foldr_240 ((([AgdaAny] -> [AgdaAny])
 -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny
forall a b. a -> b
coe ([AgdaAny] -> [AgdaAny])
-> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du__'43''43'__38)
      ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.DifferenceList.take
d_take_82 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
d_take_82 :: T_Level_18
-> T_Level_18
-> Integer
-> ([AgdaAny] -> [AgdaAny])
-> [AgdaAny]
-> [AgdaAny]
d_take_82 ~T_Level_18
v0 ~T_Level_18
v1 Integer
v2 = Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_take_82 Integer
v2
du_take_82 ::
  Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_take_82 :: Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_take_82 Integer
v0
  = (([AgdaAny] -> [AgdaAny])
 -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe
      ([AgdaAny] -> [AgdaAny])
-> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_lift_16 ((Integer -> [AgdaAny] -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_take_500 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0))
-- Data.DifferenceList.drop
d_drop_86 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
d_drop_86 :: T_Level_18
-> T_Level_18
-> Integer
-> ([AgdaAny] -> [AgdaAny])
-> [AgdaAny]
-> [AgdaAny]
d_drop_86 ~T_Level_18
v0 ~T_Level_18
v1 Integer
v2 = Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_drop_86 Integer
v2
du_drop_86 ::
  Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_drop_86 :: Integer -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_drop_86 Integer
v0
  = (([AgdaAny] -> [AgdaAny])
 -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe
      ([AgdaAny] -> [AgdaAny])
-> ([AgdaAny] -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_lift_16 ((Integer -> [AgdaAny] -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_drop_512 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0))