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.Relation.Unary.Unique.Setoid where
  
  import Data.Text qualified
  import MAlonzo.Code.Agda.Primitive qualified
  import MAlonzo.Code.Data.List.Relation.Unary.All qualified
  import MAlonzo.Code.Data.List.Relation.Unary.AllPairs qualified
  import MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core qualified
  import MAlonzo.Code.Relation.Binary.Bundles 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.Relation.Unary.Unique.Setoid.Distinct
  d_Distinct_40 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Relation.Binary.Bundles.T_Setoid_44 ->
    AgdaAny -> AgdaAny -> ()
  d_Distinct_40 = erased
  -- Data.List.Relation.Unary.Unique.Setoid._.AllPairs
  d_AllPairs_50 a0 a1 a2 a3 = ()
  -- Data.List.Relation.Unary.Unique.Setoid._.head
  d_head_62 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Relation.Binary.Bundles.T_Setoid_44 ->
    AgdaAny ->
    [AgdaAny] ->
    MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core.T_AllPairs_20 ->
    MAlonzo.Code.Data.List.Relation.Unary.All.T_All_44
  d_head_62 ~v0 ~v1 ~v2 = du_head_62
  du_head_62 ::
    AgdaAny ->
    [AgdaAny] ->
    MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core.T_AllPairs_20 ->
    MAlonzo.Code.Data.List.Relation.Unary.All.T_All_44
  du_head_62 v0 v1 v2
    = coe MAlonzo.Code.Data.List.Relation.Unary.AllPairs.du_head_22 v2
  -- Data.List.Relation.Unary.Unique.Setoid._.tail
  d_tail_64 ::
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Agda.Primitive.T_Level_18 ->
    MAlonzo.Code.Relation.Binary.Bundles.T_Setoid_44 ->
    AgdaAny ->
    [AgdaAny] ->
    MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core.T_AllPairs_20 ->
    MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core.T_AllPairs_20
  d_tail_64 ~v0 ~v1 ~v2 = du_tail_64
  du_tail_64 ::
    AgdaAny ->
    [AgdaAny] ->
    MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core.T_AllPairs_20 ->
    MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core.T_AllPairs_20
  du_tail_64 v0 v1 v2
    = coe MAlonzo.Code.Data.List.Relation.Unary.AllPairs.du_tail_32 v2
  