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.VerifiedCompilation.UntypedViews 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.Bool
  import qualified MAlonzo.Code.Agda.Builtin.Sigma
  import qualified MAlonzo.Code.Builtin
  import qualified MAlonzo.Code.RawU
  import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core
  import qualified MAlonzo.Code.Relation.Nullary.Reflects
  import qualified MAlonzo.Code.Untyped
  
  -- VerifiedCompilation.UntypedViews.Pred
  d_Pred_4 :: ()
  d_Pred_4 = erased
  -- VerifiedCompilation.UntypedViews.ListPred
  d_ListPred_8 :: ()
  d_ListPred_8 = erased
  -- VerifiedCompilation.UntypedViews.isVar
  d_isVar_14 a0 a1 = ()
  data T_isVar_14 = C_isvar_20
  -- VerifiedCompilation.UntypedViews.isVar?
  d_isVar'63'_24 ::
    () ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isVar'63'_24 ~v0 v1 = du_isVar'63'_24 v1
  du_isVar'63'_24 ::
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isVar'63'_24 v0
    = case coe v0 of
        MAlonzo.Code.Untyped.C_'96'_18 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
               (coe
                  MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                  (coe C_isvar_20))
        MAlonzo.Code.Untyped.C_ƛ_20 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C__'183'__22 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_force_24 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_delay_26 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_con_28 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_constr_34 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_case_40 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_builtin_44 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_error_46
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        _ -> MAlonzo.RTE.mazUnreachableError
  -- VerifiedCompilation.UntypedViews.isLambda
  d_isLambda_54 a0 a1 a2 = ()
  newtype T_isLambda_54 = C_islambda_62 AgdaAny
  -- VerifiedCompilation.UntypedViews.isLambda?
  d_isLambda'63'_70 ::
    () ->
    (() -> MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isLambda'63'_70 ~v0 ~v1 v2 v3 = du_isLambda'63'_70 v2 v3
  du_isLambda'63'_70 ::
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isLambda'63'_70 v0 v1
    = case coe v1 of
        MAlonzo.Code.Untyped.C_'96'_18 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_ƛ_20 v2
          -> let v3 = coe v0 erased v2 in
             coe
               (case coe v3 of
                  MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 v4 v5
                    -> if coe v4
                         then case coe v5 of
                                MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 v6
                                  -> coe
                                       MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                       (coe v4)
                                       (coe
                                          MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                          (coe C_islambda_62 v6))
                                _ -> MAlonzo.RTE.mazUnreachableError
                         else coe
                                seq (coe v5)
                                (coe
                                   MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                   (coe v4)
                                   (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                  _ -> MAlonzo.RTE.mazUnreachableError)
        MAlonzo.Code.Untyped.C__'183'__22 v2 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_force_24 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_delay_26 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_con_28 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_constr_34 v2 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_case_40 v2 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_builtin_44 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_error_46
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        _ -> MAlonzo.RTE.mazUnreachableError
  -- VerifiedCompilation.UntypedViews.isApp
  d_isApp_142 a0 a1 a2 a3 = ()
  data T_isApp_142 = C_isapp_154 AgdaAny AgdaAny
  -- VerifiedCompilation.UntypedViews.isApp?
  d_isApp'63'_166 ::
    () ->
    (() -> MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
    (() -> MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isApp'63'_166 v0 ~v1 ~v2 v3 v4 v5 = du_isApp'63'_166 v0 v3 v4 v5
  du_isApp'63'_166 ::
    () ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isApp'63'_166 v0 v1 v2 v3
    = case coe v3 of
        MAlonzo.Code.Untyped.C_'96'_18 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_ƛ_20 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C__'183'__22 v4 v5
          -> let v6
                   = coe
                       MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                       (coe v1 v0 v4) (coe v2 v0 v5) in
             coe
               (case coe v6 of
                  MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 v7 v8
                    -> if coe v7
                         then case coe v8 of
                                MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 v9
                                  -> case coe v9 of
                                       MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 v10 v11
                                         -> coe
                                              MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                              (coe v7)
                                              (coe
                                                 MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                                 (coe C_isapp_154 v10 v11))
                                       _ -> MAlonzo.RTE.mazUnreachableError
                                _ -> MAlonzo.RTE.mazUnreachableError
                         else coe
                                seq (coe v8)
                                (coe
                                   MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                   (coe v7)
                                   (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                  _ -> MAlonzo.RTE.mazUnreachableError)
        MAlonzo.Code.Untyped.C_force_24 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_delay_26 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_con_28 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_constr_34 v4 v5
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_case_40 v4 v5
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_builtin_44 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_error_46
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        _ -> MAlonzo.RTE.mazUnreachableError
  -- VerifiedCompilation.UntypedViews.isForce
  d_isForce_268 a0 a1 a2 = ()
  newtype T_isForce_268 = C_isforce_276 AgdaAny
  -- VerifiedCompilation.UntypedViews.isForce?
  d_isForce'63'_284 ::
    () ->
    (() -> MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isForce'63'_284 v0 ~v1 v2 v3 = du_isForce'63'_284 v0 v2 v3
  du_isForce'63'_284 ::
    () ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isForce'63'_284 v0 v1 v2
    = case coe v2 of
        MAlonzo.Code.Untyped.C_'96'_18 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_ƛ_20 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C__'183'__22 v3 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_force_24 v3
          -> let v4 = coe v1 v0 v3 in
             coe
               (case coe v4 of
                  MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 v5 v6
                    -> if coe v5
                         then case coe v6 of
                                MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 v7
                                  -> coe
                                       MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                       (coe v5)
                                       (coe
                                          MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                          (coe C_isforce_276 v7))
                                _ -> MAlonzo.RTE.mazUnreachableError
                         else coe
                                seq (coe v6)
                                (coe
                                   MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                   (coe v5)
                                   (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                  _ -> MAlonzo.RTE.mazUnreachableError)
        MAlonzo.Code.Untyped.C_delay_26 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_con_28 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_constr_34 v3 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_case_40 v3 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_builtin_44 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_error_46
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        _ -> MAlonzo.RTE.mazUnreachableError
  -- VerifiedCompilation.UntypedViews.isDelay
  d_isDelay_354 a0 a1 a2 = ()
  newtype T_isDelay_354 = C_isdelay_362 AgdaAny
  -- VerifiedCompilation.UntypedViews.isDelay?
  d_isDelay'63'_370 ::
    () ->
    (() -> MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isDelay'63'_370 v0 ~v1 v2 v3 = du_isDelay'63'_370 v0 v2 v3
  du_isDelay'63'_370 ::
    () ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isDelay'63'_370 v0 v1 v2
    = case coe v2 of
        MAlonzo.Code.Untyped.C_'96'_18 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_ƛ_20 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C__'183'__22 v3 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_force_24 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_delay_26 v3
          -> let v4 = coe v1 v0 v3 in
             coe
               (case coe v4 of
                  MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 v5 v6
                    -> if coe v5
                         then case coe v6 of
                                MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 v7
                                  -> coe
                                       MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                       (coe v5)
                                       (coe
                                          MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                          (coe C_isdelay_362 v7))
                                _ -> MAlonzo.RTE.mazUnreachableError
                         else coe
                                seq (coe v6)
                                (coe
                                   MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                   (coe v5)
                                   (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                  _ -> MAlonzo.RTE.mazUnreachableError)
        MAlonzo.Code.Untyped.C_con_28 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_constr_34 v3 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_case_40 v3 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_builtin_44 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_error_46
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        _ -> MAlonzo.RTE.mazUnreachableError
  -- VerifiedCompilation.UntypedViews.isCon
  d_isCon_438 a0 a1 = ()
  data T_isCon_438 = C_iscon_444
  -- VerifiedCompilation.UntypedViews.isCon?
  d_isCon'63'_448 ::
    () ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isCon'63'_448 ~v0 v1 = du_isCon'63'_448 v1
  du_isCon'63'_448 ::
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isCon'63'_448 v0
    = case coe v0 of
        MAlonzo.Code.Untyped.C_'96'_18 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_ƛ_20 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C__'183'__22 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_force_24 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_delay_26 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_con_28 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
               (coe
                  MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                  (coe C_iscon_444))
        MAlonzo.Code.Untyped.C_constr_34 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_case_40 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_builtin_44 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_error_46
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        _ -> MAlonzo.RTE.mazUnreachableError
  -- VerifiedCompilation.UntypedViews.isConstr
  d_isConstr_478 a0 a1 a2 = ()
  newtype T_isConstr_478 = C_isconstr_488 AgdaAny
  -- VerifiedCompilation.UntypedViews.isConstr?
  d_isConstr'63'_496 ::
    () ->
    (() -> [MAlonzo.Code.Untyped.T__'8866'_14] -> ()) ->
    (() ->
     [MAlonzo.Code.Untyped.T__'8866'_14] ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isConstr'63'_496 v0 ~v1 v2 v3 = du_isConstr'63'_496 v0 v2 v3
  du_isConstr'63'_496 ::
    () ->
    (() ->
     [MAlonzo.Code.Untyped.T__'8866'_14] ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isConstr'63'_496 v0 v1 v2
    = case coe v2 of
        MAlonzo.Code.Untyped.C_'96'_18 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_ƛ_20 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C__'183'__22 v3 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_force_24 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_delay_26 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_con_28 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_constr_34 v3 v4
          -> let v5 = coe v1 v0 v4 in
             coe
               (case coe v5 of
                  MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 v6 v7
                    -> if coe v6
                         then case coe v7 of
                                MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 v8
                                  -> coe
                                       MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                       (coe v6)
                                       (coe
                                          MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                          (coe C_isconstr_488 v8))
                                _ -> MAlonzo.RTE.mazUnreachableError
                         else coe
                                seq (coe v7)
                                (coe
                                   MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                   (coe v6)
                                   (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                  _ -> MAlonzo.RTE.mazUnreachableError)
        MAlonzo.Code.Untyped.C_case_40 v3 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_builtin_44 v3
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_error_46
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        _ -> MAlonzo.RTE.mazUnreachableError
  -- VerifiedCompilation.UntypedViews.isCase
  d_isCase_574 a0 a1 a2 a3 = ()
  data T_isCase_574 = C_iscase_586 AgdaAny AgdaAny
  -- VerifiedCompilation.UntypedViews.isCase?
  d_isCase'63'_598 ::
    () ->
    (() -> MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
    (() -> [MAlonzo.Code.Untyped.T__'8866'_14] -> ()) ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    (() ->
     [MAlonzo.Code.Untyped.T__'8866'_14] ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isCase'63'_598 v0 ~v1 ~v2 v3 v4 v5
    = du_isCase'63'_598 v0 v3 v4 v5
  du_isCase'63'_598 ::
    () ->
    (() ->
     MAlonzo.Code.Untyped.T__'8866'_14 ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    (() ->
     [MAlonzo.Code.Untyped.T__'8866'_14] ->
     MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isCase'63'_598 v0 v1 v2 v3
    = case coe v3 of
        MAlonzo.Code.Untyped.C_'96'_18 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_ƛ_20 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C__'183'__22 v4 v5
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_force_24 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_delay_26 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_con_28 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_constr_34 v4 v5
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_case_40 v4 v5
          -> let v6
                   = coe
                       MAlonzo.Code.Relation.Nullary.Decidable.Core.du__'215''45'dec__76
                       (coe v1 v0 v4) (coe v2 v0 v5) in
             coe
               (case coe v6 of
                  MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 v7 v8
                    -> if coe v7
                         then case coe v8 of
                                MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 v9
                                  -> case coe v9 of
                                       MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 v10 v11
                                         -> coe
                                              MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                              (coe v7)
                                              (coe
                                                 MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                                 (coe C_iscase_586 v10 v11))
                                       _ -> MAlonzo.RTE.mazUnreachableError
                                _ -> MAlonzo.RTE.mazUnreachableError
                         else coe
                                seq (coe v8)
                                (coe
                                   MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                   (coe v7)
                                   (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
                  _ -> MAlonzo.RTE.mazUnreachableError)
        MAlonzo.Code.Untyped.C_builtin_44 v4
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_error_46
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        _ -> MAlonzo.RTE.mazUnreachableError
  -- VerifiedCompilation.UntypedViews.isBuiltin
  d_isBuiltin_698 a0 a1 = ()
  data T_isBuiltin_698 = C_isbuiltin_704
  -- VerifiedCompilation.UntypedViews.isBuiltin?
  d_isBuiltin'63'_708 ::
    () ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isBuiltin'63'_708 ~v0 v1 = du_isBuiltin'63'_708 v1
  du_isBuiltin'63'_708 ::
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isBuiltin'63'_708 v0
    = case coe v0 of
        MAlonzo.Code.Untyped.C_'96'_18 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_ƛ_20 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C__'183'__22 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_force_24 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_delay_26 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_con_28 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_constr_34 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_case_40 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_builtin_44 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
               (coe
                  MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                  (coe C_isbuiltin_704))
        MAlonzo.Code.Untyped.C_error_46
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        _ -> MAlonzo.RTE.mazUnreachableError
  -- VerifiedCompilation.UntypedViews.isError
  d_isError_736 a0 a1 = ()
  data T_isError_736 = C_iserror_740
  -- VerifiedCompilation.UntypedViews.isError?
  d_isError'63'_744 ::
    () ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isError'63'_744 ~v0 v1 = du_isError'63'_744 v1
  du_isError'63'_744 ::
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isError'63'_744 v0
    = case coe v0 of
        MAlonzo.Code.Untyped.C_'96'_18 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_ƛ_20 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C__'183'__22 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_force_24 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_delay_26 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_con_28 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_constr_34 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_case_40 v1 v2
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_builtin_44 v1
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26)
        MAlonzo.Code.Untyped.C_error_46
          -> coe
               MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
               (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
               (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 erased)
        _ -> MAlonzo.RTE.mazUnreachableError
  -- VerifiedCompilation.UntypedViews.isTerm
  d_isTerm_772 a0 a1 = ()
  data T_isTerm_772 = C_isterm_778
  -- VerifiedCompilation.UntypedViews.isTerm?
  d_isTerm'63'_782 ::
    () ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isTerm'63'_782 ~v0 ~v1 = du_isTerm'63'_782
  du_isTerm'63'_782 ::
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isTerm'63'_782
    = coe
        MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
        (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
        (coe
           MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
           (coe C_isterm_778))
  -- VerifiedCompilation.UntypedViews.allTerms
  d_allTerms_788 a0 a1 = ()
  data T_allTerms_788 = C_allterms_794
  -- VerifiedCompilation.UntypedViews.allTerms?
  d_allTerms'63'_798 ::
    () ->
    [MAlonzo.Code.Untyped.T__'8866'_14] ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_allTerms'63'_798 ~v0 ~v1 = du_allTerms'63'_798
  du_allTerms'63'_798 ::
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_allTerms'63'_798
    = coe
        MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
        (coe MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
        (coe
           MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
           (coe C_allterms_794))
  -- VerifiedCompilation.UntypedViews.TestPat
  d_TestPat_804 a0 a1 = ()
  data T_TestPat_804 = C_tp_814
  -- VerifiedCompilation.UntypedViews.isTestPat?
  d_isTestPat'63'_818 ::
    () ->
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  d_isTestPat'63'_818 ~v0 v1 = du_isTestPat'63'_818 v1
  du_isTestPat'63'_818 ::
    MAlonzo.Code.Untyped.T__'8866'_14 ->
    MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
  du_isTestPat'63'_818 v0
    = let v1
            = coe
                du_isCase'63'_598 erased
                (coe
                   (\ v1 ->
                      coe
                        du_isCase'63'_598 erased (\ v2 v3 -> coe du_isTerm'63'_782)
                        (\ v2 v3 -> coe du_allTerms'63'_798)))
                (\ v1 v2 -> coe du_allTerms'63'_798) (coe v0) in
      coe
        (case coe v1 of
           MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32 v2 v3
             -> if coe v2
                  then case coe v3 of
                         MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 v4
                           -> case coe v4 of
                                C_iscase_586 v7 v8
                                  -> case coe v7 of
                                       C_iscase_586 v11 v12
                                         -> coe
                                              seq (coe v11)
                                              (coe
                                                 seq (coe v12)
                                                 (coe
                                                    seq (coe v8)
                                                    (coe
                                                       MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                                                       (coe v2)
                                                       (coe
                                                          MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22
                                                          (coe C_tp_814)))))
                                       _ -> MAlonzo.RTE.mazUnreachableError
                                _ -> MAlonzo.RTE.mazUnreachableError
                         _ -> MAlonzo.RTE.mazUnreachableError
                  else coe
                         seq (coe v3)
                         (coe
                            MAlonzo.Code.Relation.Nullary.Decidable.Core.C__because__32
                            (coe v2)
                            (coe MAlonzo.Code.Relation.Nullary.Reflects.C_of'8319'_26))
           _ -> MAlonzo.RTE.mazUnreachableError)
  