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.Data.List.Membership.DecPropositional where
  
  import Data.Text qualified
  import MAlonzo.Code.Agda.Builtin.Sigma qualified
  import MAlonzo.Code.Agda.Primitive qualified
  import MAlonzo.Code.Data.List.Membership.DecSetoid qualified
  import MAlonzo.Code.Data.List.Membership.Propositional qualified
  import MAlonzo.Code.Data.List.Membership.Setoid qualified
  import MAlonzo.Code.Data.List.Relation.Unary.Any qualified
  import MAlonzo.Code.Relation.Binary.PropositionalEquality.Properties qualified
  import MAlonzo.Code.Relation.Nullary.Decidable.Core 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
  
  -- Data.List.Membership.DecPropositional._._∈_
  d__'8712'__16 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    AgdaAny -> [AgdaAny] -> ()
  d__'8712'__16 = erased
  -- Data.List.Membership.DecPropositional._._∉_
  d__'8713'__18 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    AgdaAny -> [AgdaAny] -> ()
  d__'8713'__18 = erased
  -- Data.List.Membership.DecPropositional._._∷=_
  d__'8759''61'__20 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    [AgdaAny] ->
    (AgdaAny -> ()) ->
    MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 ->
    AgdaAny -> [AgdaAny]
  d__'8759''61'__20 ~v0 ~v1 ~v2 = du__'8759''61'__20
  du__'8759''61'__20 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    [AgdaAny] ->
    (AgdaAny -> ()) ->
    MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 ->
    AgdaAny -> [AgdaAny]
  du__'8759''61'__20
    = coe MAlonzo.Code.Data.List.Membership.Setoid.du__'8759''61'__50
  -- Data.List.Membership.DecPropositional._._≢∈_
  d__'8802''8712'__22 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    AgdaAny ->
    AgdaAny ->
    [AgdaAny] ->
    MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 ->
    MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> ()
  d__'8802''8712'__22 = erased
  -- Data.List.Membership.DecPropositional._._─_
  d__'9472'__24 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    (AgdaAny -> ()) ->
    [AgdaAny] ->
    MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> [AgdaAny]
  d__'9472'__24 ~v0 ~v1 ~v2 = du__'9472'__24
  du__'9472'__24 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    (AgdaAny -> ()) ->
    [AgdaAny] ->
    MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> [AgdaAny]
  du__'9472'__24
    = coe MAlonzo.Code.Data.List.Membership.Setoid.du__'9472'__52
  -- Data.List.Membership.DecPropositional._.find
  d_find_26 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    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_26 ~v0 ~v1 ~v2 = du_find_26
  du_find_26 ::
    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_26 v0 v1 v2 v3
    = coe
        MAlonzo.Code.Data.List.Membership.Setoid.du_find_84
        (coe
           MAlonzo.Code.Relation.Binary.PropositionalEquality.Properties.du_setoid_402)
        v2 v3
  -- Data.List.Membership.DecPropositional._.lose
  d_lose_28 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    (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_28 ~v0 ~v1 ~v2 = du_lose_28
  du_lose_28 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    (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_28 v0 v1 v2 v3
    = coe
        MAlonzo.Code.Data.List.Membership.Propositional.du_lose_50 v2 v3
  -- Data.List.Membership.DecPropositional._.mapWith∈
  d_mapWith'8712'_30 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    [AgdaAny] ->
    (AgdaAny ->
     MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> AgdaAny) ->
    [AgdaAny]
  d_mapWith'8712'_30 ~v0 ~v1 ~v2 = du_mapWith'8712'_30
  du_mapWith'8712'_30 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    [AgdaAny] ->
    (AgdaAny ->
     MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 -> AgdaAny) ->
    [AgdaAny]
  du_mapWith'8712'_30 v0 v1 v2 v3
    = coe
        MAlonzo.Code.Data.List.Membership.Setoid.du_mapWith'8712'_62
        (coe
           MAlonzo.Code.Relation.Binary.PropositionalEquality.Properties.du_setoid_402)
        v2 v3
  -- Data.List.Membership.DecPropositional._._∈?_
  d__'8712''63'__34 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    AgdaAny ->
    [AgdaAny] -> MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8712''63'__34 ~v0 ~v1 v2 = du__'8712''63'__34 v2
  du__'8712''63'__34 ::
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    AgdaAny ->
    [AgdaAny] -> MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du__'8712''63'__34 v0
    = coe
        MAlonzo.Code.Data.List.Membership.DecSetoid.du__'8712''63'__58
        (coe
           MAlonzo.Code.Relation.Binary.PropositionalEquality.Properties.du_decSetoid_406
           (coe v0))
  -- Data.List.Membership.DecPropositional._._∉?_
  d__'8713''63'__36 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    () ->
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    AgdaAny ->
    [AgdaAny] -> MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d__'8713''63'__36 ~v0 ~v1 v2 = du__'8713''63'__36 v2
  du__'8713''63'__36 ::
    (AgdaAny ->
     AgdaAny ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    AgdaAny ->
    [AgdaAny] -> MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du__'8713''63'__36 v0
    = coe
        MAlonzo.Code.Data.List.Membership.DecSetoid.du__'8713''63'__66
        (coe
           MAlonzo.Code.Relation.Binary.PropositionalEquality.Properties.du_decSetoid_406
           (coe v0))
  