{-# 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.Reflection.Meta 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.Reflection
import qualified MAlonzo.Code.Data.Nat.Properties
import qualified MAlonzo.Code.Relation.Binary.Construct.On
import qualified MAlonzo.Code.Relation.Nullary
import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core

-- Reflection.Meta._≈_
d__'8776'__4 :: AgdaAny -> AgdaAny -> ()
d__'8776'__4 :: AgdaAny -> AgdaAny -> ()
d__'8776'__4 = AgdaAny -> AgdaAny -> ()
forall a. a
erased
-- Reflection.Meta._≈?_
d__'8776''63'__6 ::
  AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8776''63'__6 :: AgdaAny -> AgdaAny -> T_Dec_32
d__'8776''63'__6
  = ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny -> T_Dec_32)
 -> AgdaAny
 -> AgdaAny
 -> T_Dec_32)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny -> T_Dec_32)
-> AgdaAny
-> AgdaAny
-> T_Dec_32
MAlonzo.Code.Relation.Binary.Construct.On.du_decidable_102
      (((Integer, Integer) -> Integer) -> AgdaAny
forall a b. a -> b
coe (Integer, Integer) -> Integer
MAlonzo.Code.Agda.Builtin.Reflection.d_primMetaToNat_46)
      ((Integer -> Integer -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe Integer -> Integer -> T_Dec_32
MAlonzo.Code.Data.Nat.Properties.d__'8799'__1528)
-- Reflection.Meta._≟_
d__'8799'__8 ::
  AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799'__8 :: AgdaAny -> AgdaAny -> T_Dec_32
d__'8799'__8 AgdaAny
v0 AgdaAny
v1
  = ((AgdaAny -> AgdaAny) -> T_Dec_32 -> T_Dec_32)
-> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny) -> T_Dec_32 -> T_Dec_32
MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
      AgdaAny
forall a. a
erased ((AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
d__'8776''63'__6 AgdaAny
v0 AgdaAny
v1)