content: {-# 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.Function.Base where
  
  import Data.Text qualified
  import MAlonzo.Code.Agda.Primitive qualified
  import MAlonzo.RTE (AgdaAny, add64, addInt, coe, eq64, eqInt, erased, geqInt, lt64, ltInt, mul64,
                      mulInt, quot64, quotInt, rem64, remInt, sub64, subInt, word64FromNat,
                      word64ToNat)
  import MAlonzo.RTE qualified
  
  -- Function.Base.id
  d_id_24 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> AgdaAny -> AgdaAny
  d_id_24 ~v0 ~v1 v2 = du_id_24 v2
  du_id_24 :: AgdaAny -> AgdaAny
  du_id_24 v0 = coe v0
  -- Function.Base.const
  d_const_28 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> AgdaAny -> AgdaAny -> AgdaAny
  d_const_28 ~v0 ~v1 ~v2 ~v3 v4 ~v5 = du_const_28 v4
  du_const_28 :: AgdaAny -> AgdaAny
  du_const_28 v0 = coe v0
  -- Function.Base.constᵣ
  d_const'7523'_34 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> AgdaAny -> AgdaAny -> AgdaAny
  d_const'7523'_34 ~v0 ~v1 ~v2 ~v3 ~v4 v5 = du_const'7523'_34 v5
  du_const'7523'_34 :: AgdaAny -> AgdaAny
  du_const'7523'_34 v0 = coe v0
  -- Function.Base._∘_
  d__'8728'__54 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> ()) ->
    (AgdaAny -> AgdaAny -> ()) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  d__'8728'__54 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 v6 v7 v8
    = du__'8728'__54 v6 v7 v8
  du__'8728'__54 ::
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  du__'8728'__54 v0 v1 v2 = coe v0 v2 (coe v1 v2)
  -- Function.Base._∘₂_
  d__'8728''8322'__92 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> ()) ->
    (AgdaAny -> AgdaAny -> ()) ->
    (AgdaAny -> AgdaAny -> AgdaAny -> ()) ->
    (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__'8728''8322'__92 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9 v10 v11
    = du__'8728''8322'__92 v8 v9 v10 v11
  du__'8728''8322'__92 ::
    (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du__'8728''8322'__92 v0 v1 v2 v3 = coe v0 v2 v3 (coe v1 v2 v3)
  -- Function.Base.flip
  d_flip_116 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    () ->
    (AgdaAny -> AgdaAny -> ()) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d_flip_116 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 v6 v7 v8 = du_flip_116 v6 v7 v8
  du_flip_116 ::
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du_flip_116 v0 v1 v2 = coe v0 v2 v1
  -- Function.Base._$_
  d__'36'__132 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  d__'36'__132 ~v0 ~v1 ~v2 ~v3 v4 v5 = du__'36'__132 v4 v5
  du__'36'__132 :: (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  du__'36'__132 v0 v1 = coe v0 v1
  -- Function.Base._|>_
  d__'124''62'__146 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> (AgdaAny -> ()) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
  d__'124''62'__146 ~v0 ~v1 ~v2 ~v3 v4 v5 = du__'124''62'__146 v4 v5
  du__'124''62'__146 :: AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
  du__'124''62'__146 v0 v1 = coe v1 v0
  -- Function.Base._ˢ_
  d__'738'__166 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> ()) ->
    (AgdaAny -> AgdaAny -> ()) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  d__'738'__166 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 v6 v7 v8
    = du__'738'__166 v6 v7 v8
  du__'738'__166 ::
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  du__'738'__166 v0 v1 v2 = coe v0 v2 (coe v1 v2)
  -- Function.Base._$-
  d__'36''45'_182 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  d__'36''45'_182 ~v0 ~v1 ~v2 ~v3 v4 v5 = du__'36''45'_182 v4 v5
  du__'36''45'_182 :: (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  du__'36''45'_182 v0 v1 = coe v0 v1
  -- Function.Base.λ-
  d_λ'45'_194 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  d_λ'45'_194 ~v0 ~v1 ~v2 ~v3 v4 v5 = du_λ'45'_194 v4 v5
  du_λ'45'_194 :: (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  du_λ'45'_194 v0 v1 = coe v0 v1
  -- Function.Base.case_returning_of_
  d_case_returning_of__208 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> AgdaAny -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny
  d_case_returning_of__208 ~v0 ~v1 ~v2 v3 ~v4 v5
    = du_case_returning_of__208 v3 v5
  du_case_returning_of__208 ::
    AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
  du_case_returning_of__208 v0 v1 = coe v1 v0
  -- Function.Base._∘′_
  d__'8728''8242'__216 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  d__'8728''8242'__216 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 v6 v7 v8
    = du__'8728''8242'__216 v6 v7 v8
  du__'8728''8242'__216 ::
    (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  du__'8728''8242'__216 v0 v1 v2 = coe v0 (coe v1 v2)
  -- Function.Base._∘₂′_
  d__'8728''8322''8242'__222 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__'8728''8322''8242'__222 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9
    = du__'8728''8322''8242'__222 v8 v9
  du__'8728''8322''8242'__222 ::
    (AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du__'8728''8322''8242'__222 v0 v1
    = coe du__'8728''8322'__92 (coe (\ v2 v3 -> v0)) (coe v1)
  -- Function.Base.flip′
  d_flip'8242'_228 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d_flip'8242'_228 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 v6 v7 v8
    = du_flip'8242'_228 v6 v7 v8
  du_flip'8242'_228 ::
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du_flip'8242'_228 v0 v1 v2 = coe v0 v2 v1
  -- Function.Base._$′_
  d__'36''8242'__230 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  d__'36''8242'__230 ~v0 ~v1 ~v2 ~v3 v4 = du__'36''8242'__230 v4
  du__'36''8242'__230 :: (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  du__'36''8242'__230 v0 = coe v0
  -- Function.Base._|>′_
  d__'124''62''8242'__232 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
  d__'124''62''8242'__232 ~v0 ~v1 ~v2 ~v3 v4 v5
    = du__'124''62''8242'__232 v4 v5
  du__'124''62''8242'__232 ::
    AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
  du__'124''62''8242'__232 v0 v1 = coe v1 v0
  -- Function.Base.case_of_
  d_case_of__234 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
  d_case_of__234 ~v0 ~v1 ~v2 ~v3 v4 v5 = du_case_of__234 v4 v5
  du_case_of__234 :: AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
  du_case_of__234 v0 v1 = coe v1 v0
  -- Function.Base._⟨_⟩_
  d__'10216'_'10217'__240 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  d__'10216'_'10217'__240 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 v6 v7 v8
    = du__'10216'_'10217'__240 v6 v7 v8
  du__'10216'_'10217'__240 ::
    AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
  du__'10216'_'10217'__240 v0 v1 v2 = coe v1 v0 v2
  -- Function.Base._∋_
  d__'8715'__250 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> AgdaAny -> AgdaAny
  d__'8715'__250 ~v0 ~v1 v2 = du__'8715'__250 v2
  du__'8715'__250 :: AgdaAny -> AgdaAny
  du__'8715'__250 v0 = coe v0
  -- Function.Base.typeOf
  d_typeOf_258 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> AgdaAny -> ()
  d_typeOf_258 = erased
  -- Function.Base.it
  d_it_264 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> AgdaAny -> AgdaAny
  d_it_264 ~v0 ~v1 v2 = du_it_264 v2
  du_it_264 :: AgdaAny -> AgdaAny
  du_it_264 v0 = coe v0
  -- Function.Base._-⟪_⟫-_
  d__'45''10218'_'10219''45'__268 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__'45''10218'_'10219''45'__268 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8
                                  ~v9 v10 v11 v12 v13 v14
    = du__'45''10218'_'10219''45'__268 v10 v11 v12 v13 v14
  du__'45''10218'_'10219''45'__268 ::
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du__'45''10218'_'10219''45'__268 v0 v1 v2 v3 v4
    = coe v1 (coe v0 v3 v4) (coe v2 v3 v4)
  -- Function.Base._-⟪_∣
  d__'45''10218'_'8739'_280 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__'45''10218'_'8739'_280 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9
    = du__'45''10218'_'8739'_280 v8 v9
  du__'45''10218'_'8739'_280 ::
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du__'45''10218'_'8739'_280 v0 v1
    = coe
        du__'45''10218'_'10219''45'__268 (coe v0) (coe v1)
        (coe (\ v2 v3 -> v3))
  -- Function.Base.∣_⟫-_
  d_'8739'_'10219''45'__286 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d_'8739'_'10219''45'__286 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9
    = du_'8739'_'10219''45'__286 v8 v9
  du_'8739'_'10219''45'__286 ::
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du_'8739'_'10219''45'__286 v0 v1
    = coe
        du__'45''10218'_'10219''45'__268 (coe (\ v2 v3 -> v2)) (coe v0)
        (coe v1)
  -- Function.Base._-⟨_∣
  d__'45''10216'_'8739'_292 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__'45''10216'_'8739'_292 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9
    = du__'45''10216'_'8739'_292 v8 v9
  du__'45''10216'_'8739'_292 ::
    (AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du__'45''10216'_'8739'_292 v0 v1
    = coe
        du__'45''10218'_'8739'_280
        (coe
           du__'8728''8322'__92 (coe (\ v2 v3 -> v0)) (coe (\ v2 v3 -> v2)))
        (coe v1)
  -- Function.Base.∣_⟩-_
  d_'8739'_'10217''45'__298 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d_'8739'_'10217''45'__298 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9
    = du_'8739'_'10217''45'__298 v8 v9
  du_'8739'_'10217''45'__298 ::
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du_'8739'_'10217''45'__298 v0 v1
    = coe
        du_'8739'_'10219''45'__286 (coe v0)
        (coe
           du__'8728''8322'__92 (coe (\ v2 v3 -> v1)) (coe (\ v2 v3 -> v3)))
  -- Function.Base._-⟪_⟩-_
  d__'45''10218'_'10217''45'__304 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__'45''10218'_'10217''45'__304 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8
                                  ~v9 v10 v11 v12
    = du__'45''10218'_'10217''45'__304 v10 v11 v12
  du__'45''10218'_'10217''45'__304 ::
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du__'45''10218'_'10217''45'__304 v0 v1 v2
    = coe
        du__'45''10218'_'10219''45'__268 (coe v0) (coe v1)
        (coe du_'8739'_'10217''45'__298 (coe (\ v3 v4 -> v4)) (coe v2))
  -- Function.Base._-⟨_⟫-_
  d__'45''10216'_'10219''45'__312 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__'45''10216'_'10219''45'__312 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8
                                  ~v9 v10 v11 v12
    = du__'45''10216'_'10219''45'__312 v10 v11 v12
  du__'45''10216'_'10219''45'__312 ::
    (AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du__'45''10216'_'10219''45'__312 v0 v1 v2
    = coe
        du__'45''10218'_'10219''45'__268
        (coe du__'45''10216'_'8739'_292 (coe v0) (coe (\ v3 v4 -> v3)))
        (coe v1) (coe v2)
  -- Function.Base._-⟨_⟩-_
  d__'45''10216'_'10217''45'__320 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__'45''10216'_'10217''45'__320 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8
                                  ~v9 v10 v11 v12
    = du__'45''10216'_'10217''45'__320 v10 v11 v12
  du__'45''10216'_'10217''45'__320 ::
    (AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du__'45''10216'_'10217''45'__320 v0 v1 v2
    = coe
        du__'45''10218'_'10219''45'__268
        (coe du__'45''10216'_'8739'_292 (coe v0) (coe (\ v3 v4 -> v3)))
        (coe v1)
        (coe du_'8739'_'10217''45'__298 (coe (\ v3 v4 -> v4)) (coe v2))
  -- Function.Base._on₂_
  d__on'8322'__328 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__on'8322'__328 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9
    = du__on'8322'__328 v8 v9
  du__on'8322'__328 ::
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du__on'8322'__328 v0 v1
    = coe du__'45''10218'_'10219''45'__268 (coe v1) (coe v0) (coe v1)
  -- Function.Base._on_
  d__on__334 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__on__334 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 v6 v7 = du__on__334 v6 v7
  du__on__334 ::
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  du__on__334 v0 v1
    = coe du__'45''10216'_'10217''45'__320 (coe v1) (coe v0) (coe v1)
  -- Function.Base._-[_]-_
  d__'45''91'_'93''45'__340 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) ->
    (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
  d__'45''91'_'93''45'__340 v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12
                            v13 v14
    = coe du__'45''10218'_'10219''45'__268 v10 v11 v12 v13 v14
  -- Function.Base.case_return_of_
  d_case_return_of__342 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () -> AgdaAny -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny
  d_case_return_of__342 ~v0 ~v1 ~v2 v3 ~v4 v5
    = du_case_return_of__342 v3 v5
  du_case_return_of__342 ::
    AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
  du_case_return_of__342 v0 v1 = coe v1 v0
  