{-# 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.CertifierReport 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.Sigma
import qualified MAlonzo.Code.Agda.Builtin.String
import qualified MAlonzo.Code.Data.Fin.Base
import qualified MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base
import qualified MAlonzo.Code.Data.Nat.Show
import qualified MAlonzo.Code.Data.String.Base
import qualified MAlonzo.Code.Untyped
import qualified MAlonzo.Code.Untyped.Relation.Binary.Core
import qualified MAlonzo.Code.Untyped.Relation.Binary.Modular
import qualified MAlonzo.Code.Untyped.RenamingSubstitution
import qualified MAlonzo.Code.Utils
import qualified MAlonzo.Code.VerifiedCompilation
import qualified MAlonzo.Code.VerifiedCompilation.Trace
import qualified MAlonzo.Code.VerifiedCompilation.UCaseReduce
import qualified MAlonzo.Code.VerifiedCompilation.UInline
import qualified MAlonzo.Code.VerifiedCompilation.UntypedTranslation

-- CertifierReport.⇉_
d_'8649'__2 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_'8649'__2 :: Text -> Text
d_'8649'__2 Text
v0
  = (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
      (Text
"  " :: Data.Text.Text) Text
v0
-- CertifierReport.nl
d_nl_6 :: MAlonzo.Code.Agda.Builtin.String.T_String_6
d_nl_6 :: Text
d_nl_6 = Text -> Text
forall a b. a -> b
coe (Text
"\n" :: Data.Text.Text)
-- CertifierReport.hl
d_hl_8 :: MAlonzo.Code.Agda.Builtin.String.T_String_6
d_hl_8 :: Text
d_hl_8
  = Text -> Text
forall a b. a -> b
coe
      (Text
"\n\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\9472\n"
       ::
       Data.Text.Text)
-- CertifierReport.showCertifiedOptTag
d_showCertifiedOptTag_10 ::
  MAlonzo.Code.VerifiedCompilation.Trace.T_CertifiedOptTag_10 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showCertifiedOptTag_10 :: T_CertifiedOptTag_10 -> Text
d_showCertifiedOptTag_10 T_CertifiedOptTag_10
v0
  = case T_CertifiedOptTag_10 -> T_CertifiedOptTag_10
forall a b. a -> b
coe T_CertifiedOptTag_10
v0 of
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_floatDelayT_12
        -> Text -> Text
forall a b. a -> b
coe (Text
"Float Delay" :: Data.Text.Text)
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_forceDelayT_14
        -> Text -> Text
forall a b. a -> b
coe (Text
"Force-Delay Cancellation" :: Data.Text.Text)
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_forceCaseDelayT_16
        -> Text -> Text
forall a b. a -> b
coe (Text
"Float Force into Case Branches" :: Data.Text.Text)
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_inlineT_18
        -> Text -> Text
forall a b. a -> b
coe (Text
"Inlining" :: Data.Text.Text)
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_cseT_20
        -> Text -> Text
forall a b. a -> b
coe (Text
"Common Subexpression Elimination" :: Data.Text.Text)
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_22
        -> Text -> Text
forall a b. a -> b
coe
             (Text
"Transform multi-argument applications into case-constr form"
              ::
              Data.Text.Text)
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_caseReduceT_24
        -> Text -> Text
forall a b. a -> b
coe
             (Text
"Case-Constr and Case-Constant Cancellation" :: Data.Text.Text)
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_letFloatOutT_26
        -> Text -> Text
forall a b. a -> b
coe (Text
"Float bindings outwards" :: Data.Text.Text)
      T_CertifiedOptTag_10
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.showUncertifiedOptTag
d_showUncertifiedOptTag_12 ::
  MAlonzo.Code.VerifiedCompilation.Trace.T_UncertifiedOptTag_4 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showUncertifiedOptTag_12 :: T_UncertifiedOptTag_4 -> Text
d_showUncertifiedOptTag_12 T_UncertifiedOptTag_4
v0
  = case T_UncertifiedOptTag_4 -> T_UncertifiedOptTag_4
forall a b. a -> b
coe T_UncertifiedOptTag_4
v0 of
      T_UncertifiedOptTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_caseOfCaseT_6
        -> Text -> Text
forall a b. a -> b
coe (Text
"Case-of-Case" :: Data.Text.Text)
      T_UncertifiedOptTag_4
MAlonzo.Code.VerifiedCompilation.Trace.C_constantFoldingT_8
        -> Text -> Text
forall a b. a -> b
coe (Text
"Constant Folding" :: Data.Text.Text)
      T_UncertifiedOptTag_4
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.showTag
d_showTag_14 ::
  MAlonzo.Code.Utils.T_Either_6
    MAlonzo.Code.VerifiedCompilation.Trace.T_UncertifiedOptTag_4
    MAlonzo.Code.VerifiedCompilation.Trace.T_CertifiedOptTag_10 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showTag_14 :: T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 -> Text
d_showTag_14 T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v0
  = case T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
-> Either Any Any
forall a b. a -> b
coe T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v0 of
      MAlonzo.Code.Utils.C_inj'8321'_12 Any
v1
        -> (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (T_UncertifiedOptTag_4 -> Text
d_showUncertifiedOptTag_12 (Any -> T_UncertifiedOptTag_4
forall a b. a -> b
coe Any
v1))
             (Text
"  \9888 (certifier unavailable)" :: Data.Text.Text)
      MAlonzo.Code.Utils.C_inj'8322'_14 Any
v1
        -> (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (T_CertifiedOptTag_10 -> Text
d_showCertifiedOptTag_10 (Any -> T_CertifiedOptTag_10
forall a b. a -> b
coe Any
v1)) (Text
"  \9989" :: Data.Text.Text)
      Either Any Any
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.numSites′
d_numSites'8242'_26 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_8 ->
  Integer
d_numSites'8242'_26 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer
d_numSites'8242'_26 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 T__'8866'_14
v1 T__'8866'_14
v2 = T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer
du_numSites'8242'_26 T__'8866'_14
v1 T__'8866'_14
v2
du_numSites'8242'_26 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_8 ->
  Integer
du_numSites'8242'_26 :: T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer
du_numSites'8242'_26 T__'8866'_14
v0 T__'8866'_14
v1
  = (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_8
 -> Integer)
-> Any
-> Any
-> Any
-> Any
-> Any
-> Any
-> T_Translation_8
-> Integer
forall a b. a -> b
coe
      T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
du_go_40 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1)
      (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer))
-- CertifierReport._.go
d_go_40 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_8 ->
  Integer
d_go_40 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> T__'8866'_14
-> T__'8866'_14
-> (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
d_go_40 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 T__'8866'_14
v1 T__'8866'_14
v2 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v3 Integer
v4 T__'8866'_14
v5 T__'8866'_14
v6 Integer
v7 T_Translation_8
v8
  = T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
du_go_40 T__'8866'_14
v1 T__'8866'_14
v2 Integer
v4 T__'8866'_14
v5 T__'8866'_14
v6 Integer
v7 T_Translation_8
v8
du_go_40 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_Translation_8 ->
  Integer
du_go_40 :: T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
du_go_40 T__'8866'_14
v0 T__'8866'_14
v1 Integer
v2 T__'8866'_14
v3 T__'8866'_14
v4 Integer
v5 T_Translation_8
v6
  = case T_Translation_8 -> T_Translation_8
forall a b. a -> b
coe T_Translation_8
v6 of
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_istranslation_88 Any
v9
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v5)
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_match_94 T_TransMatch_14
v9
        -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_TransMatch_14
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
             T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_TransMatch_14
-> Integer
du_go'7504'_50 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v4)
             (Integer -> Any
forall a b. a -> b
coe Integer
v5) (T_TransMatch_14 -> Any
forall a b. a -> b
coe T_TransMatch_14
v9)
      T_Translation_8
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport._.goᵐ
d_go'7504'_50 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_TransMatch_14 ->
  Integer
d_go'7504'_50 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> T__'8866'_14
-> T__'8866'_14
-> (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_TransMatch_14
-> Integer
d_go'7504'_50 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 T__'8866'_14
v1 T__'8866'_14
v2 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v3 Integer
v4 T__'8866'_14
v5 T__'8866'_14
v6 Integer
v7 T_TransMatch_14
v8
  = T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_TransMatch_14
-> Integer
du_go'7504'_50 T__'8866'_14
v1 T__'8866'_14
v2 Integer
v4 T__'8866'_14
v5 T__'8866'_14
v6 Integer
v7 T_TransMatch_14
v8
du_go'7504'_50 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  MAlonzo.Code.VerifiedCompilation.UntypedTranslation.T_TransMatch_14 ->
  Integer
du_go'7504'_50 :: T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_TransMatch_14
-> Integer
du_go'7504'_50 T__'8866'_14
v0 T__'8866'_14
v1 Integer
v2 T__'8866'_14
v3 T__'8866'_14
v4 Integer
v5 T_TransMatch_14
v6
  = case T_TransMatch_14 -> T_TransMatch_14
forall a b. a -> b
coe T_TransMatch_14
v6 of
      T_TransMatch_14
MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_var_22
        -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_ƛ_28 T_Translation_8
v9
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v10
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v11
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_8
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
du_go_40 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1)
                           ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v2)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v10) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v11)
                           (Integer -> Any
forall a b. a -> b
coe Integer
v5) (T_Translation_8 -> Any
forall a b. a -> b
coe T_Translation_8
v9)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_app_38 T_Translation_8
v11 T_Translation_8
v12
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v13 T__'8866'_14
v14
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v15 T__'8866'_14
v16
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_8
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
du_go_40 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v14) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v16)
                           ((T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_8
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
du_go_40 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v13) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v15) (Integer -> Any
forall a b. a -> b
coe Integer
v5)
                              (T_Translation_8 -> Any
forall a b. a -> b
coe T_Translation_8
v11))
                           (T_Translation_8 -> Any
forall a b. a -> b
coe T_Translation_8
v12)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_force_44 T_Translation_8
v9
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v10
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v11
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_8
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
du_go_40 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v10) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v11) (Integer -> Any
forall a b. a -> b
coe Integer
v5)
                           (T_Translation_8 -> Any
forall a b. a -> b
coe T_Translation_8
v9)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_delay_50 T_Translation_8
v9
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v10
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v11
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_8
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
du_go_40 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v10) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v11) (Integer -> Any
forall a b. a -> b
coe Integer
v5)
                           (T_Translation_8 -> Any
forall a b. a -> b
coe T_Translation_8
v9)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_TransMatch_14
MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_con_54
        -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_constr_62 T_Pointwise_48
v10
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C_constr_34 Integer
v11 [T__'8866'_14]
v12
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C_constr_34 Integer
v13 [T__'8866'_14]
v14
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> Integer
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
du_go'7510''695'_60 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v12) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v14)
                           (Integer -> Any
forall a b. a -> b
coe Integer
v5) (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v10)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_case_72 T_Pointwise_48
v11 T_Translation_8
v12
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v3 of
             MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v13 [T__'8866'_14]
v14
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v4 of
                    MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v15 [T__'8866'_14]
v16
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_8
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
du_go_40 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v13) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v15)
                           ((T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> Integer
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              T__'8866'_14
-> T__'8866'_14
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
du_go'7510''695'_60 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v14) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v16)
                              (Integer -> Any
forall a b. a -> b
coe Integer
v5) (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v11))
                           (T_Translation_8 -> Any
forall a b. a -> b
coe T_Translation_8
v12)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_TransMatch_14
MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_builtin_76
        -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      T_TransMatch_14
MAlonzo.Code.VerifiedCompilation.UntypedTranslation.C_error_78
        -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      T_TransMatch_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport._.goᵖʷ
d_go'7510''695'_60 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 -> ()) ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  Integer ->
  MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.T_Pointwise_48 ->
  Integer
d_go'7510''695'_60 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> T__'8866'_14
-> T__'8866'_14
-> (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
d_go'7510''695'_60 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 T__'8866'_14
v1 T__'8866'_14
v2 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v3 Integer
v4 [T__'8866'_14]
v5 [T__'8866'_14]
v6 Integer
v7 T_Pointwise_48
v8
  = T__'8866'_14
-> T__'8866'_14
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
du_go'7510''695'_60 T__'8866'_14
v1 T__'8866'_14
v2 Integer
v4 [T__'8866'_14]
v5 [T__'8866'_14]
v6 Integer
v7 T_Pointwise_48
v8
du_go'7510''695'_60 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  Integer ->
  MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.T_Pointwise_48 ->
  Integer
du_go'7510''695'_60 :: T__'8866'_14
-> T__'8866'_14
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
du_go'7510''695'_60 T__'8866'_14
v0 T__'8866'_14
v1 Integer
v2 [T__'8866'_14]
v3 [T__'8866'_14]
v4 Integer
v5 T_Pointwise_48
v6
  = case T_Pointwise_48 -> T_Pointwise_48
forall a b. a -> b
coe T_Pointwise_48
v6 of
      T_Pointwise_48
MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.C_'91''93'_56
        -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.C__'8759'__62 Any
v11 T_Pointwise_48
v12
        -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v3 of
             (:) Any
v13 [Any]
v14
               -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v4 of
                    (:) Any
v15 [Any]
v16
                      -> (T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> Integer
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           T__'8866'_14
-> T__'8866'_14
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Integer
-> T_Pointwise_48
-> Integer
du_go'7510''695'_60 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) ([Any] -> Any
forall a b. a -> b
coe [Any]
v14) ([Any] -> Any
forall a b. a -> b
coe [Any]
v16)
                           ((T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> Integer
 -> T_Translation_8
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              T__'8866'_14
-> T__'8866'_14
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Integer
-> T_Translation_8
-> Integer
du_go_40 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Integer -> Any
forall a b. a -> b
coe Integer
v2) (Any -> Any
forall a b. a -> b
coe Any
v13) (Any -> Any
forall a b. a -> b
coe Any
v15) (Integer -> Any
forall a b. a -> b
coe Integer
v5)
                              (Any -> Any
forall a b. a -> b
coe Any
v11))
                           (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v12)
                    [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Pointwise_48
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.numSitesInlineᵖʷ
d_numSitesInline'7510''695'_122 ::
  Integer ->
  (MAlonzo.Code.Data.Fin.Base.T_Fin_10 ->
   MAlonzo.Code.Untyped.T__'8866'_14) ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.T_Pointwise_48 ->
  Integer
d_numSitesInline'7510''695'_122 :: Integer
-> (T_Fin_10 -> T__'8866'_14)
-> [T__'8866'_14]
-> [T__'8866'_14]
-> T_Pointwise_48
-> Integer
d_numSitesInline'7510''695'_122 Integer
v0 T_Fin_10 -> T__'8866'_14
v1 [T__'8866'_14]
v2 [T__'8866'_14]
v3 T_Pointwise_48
v4
  = case T_Pointwise_48 -> T_Pointwise_48
forall a b. a -> b
coe T_Pointwise_48
v4 of
      T_Pointwise_48
MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.C_'91''93'_56
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base.C__'8759'__62 Any
v9 T_Pointwise_48
v10
        -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v2 of
             (:) Any
v11 [Any]
v12
               -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v3 of
                    (:) Any
v13 [Any]
v14
                      -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer -> Integer -> Integer
addInt
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                              (Any -> Any
forall a b. a -> b
coe Any
v11) (Any -> Any
forall a b. a -> b
coe Any
v13) (Any -> Any
forall a b. a -> b
coe Any
v9))
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> [T__'8866'_14]
-> [T__'8866'_14]
-> T_Pointwise_48
-> Integer
d_numSitesInline'7510''695'_122 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1) ([Any] -> Any
forall a b. a -> b
coe [Any]
v12)
                              ([Any] -> Any
forall a b. a -> b
coe [Any]
v14) (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v10))
                    [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Pointwise_48
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.numSitesInline
d_numSitesInline_140 ::
  Integer ->
  (MAlonzo.Code.Data.Fin.Base.T_Fin_10 ->
   MAlonzo.Code.Untyped.T__'8866'_14) ->
  MAlonzo.Code.VerifiedCompilation.UInline.T__'8605'_28 ->
  MAlonzo.Code.VerifiedCompilation.UInline.T__'8605'_28 ->
  MAlonzo.Code.VerifiedCompilation.UInline.T__'8829'__102 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.UInline.T_Inline_224 -> Integer
d_numSitesInline_140 :: Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 Integer
v0 T_Fin_10 -> T__'8866'_14
v1 T__'8605'_28
v2 T__'8605'_28
v3 T__'8829'__102
v4 T__'8866'_14
v5 T__'8866'_14
v6 T_Inline_224
v7
  = case T_Inline_224 -> T_Inline_224
forall a b. a -> b
coe T_Inline_224
v7 of
      T_Inline_224
MAlonzo.Code.VerifiedCompilation.UInline.C_'96'_230
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      MAlonzo.Code.VerifiedCompilation.UInline.C_'96''8595'_234 T_Inline_224
v14
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_'96'_18 T_Fin_10
v15
               -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                    Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
                    ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                       Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v2) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v3) (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
v4)
                       ((T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1 T_Fin_10
v15) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v14))
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_ƛ'9633'_236 T_Inline_224
v11
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v12
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v13
                      -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v0))
                           ((Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.du_lifts_378 (Integer -> Any
forall a b. a -> b
coe Integer
v0)
                              ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1))
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                           (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v12) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v13) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v11)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_ƛ_240 T_Inline_224
v15
        -> case T__'8605'_28 -> T__'8605'_28
forall a b. a -> b
coe T__'8605'_28
v2 of
             MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 T__'8605'_28
v16 T__'8866'_14
v17
               -> case T__'8605'_28 -> T__'8605'_28
forall a b. a -> b
coe T__'8605'_28
v3 of
                    MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 T__'8605'_28
v18 T__'8866'_14
v19
                      -> case T__'8829'__102 -> T__'8829'__102
forall a b. a -> b
coe T__'8829'__102
v4 of
                           MAlonzo.Code.VerifiedCompilation.UInline.C_keep_114 T__'8829'__102
v23
                             -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
                                  MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v24
                                    -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                                         MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v25
                                           -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140
                                                ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v0))
                                                (((T_Fin_10 -> T__'8866'_14)
 -> T__'8866'_14 -> T_Fin_10 -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                                   (T_Fin_10 -> T__'8866'_14)
-> T__'8866'_14 -> T_Fin_10 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.du_extend_454
                                                   ((Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                                      Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.du__'8593''738'_470
                                                      (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1))
                                                   ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                      Integer -> T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.d_weaken_88
                                                      (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v17)))
                                                ((Integer -> T__'8605'_28 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                   Integer -> T__'8605'_28 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.d__'8593''7611'_40
                                                   (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v16))
                                                ((Integer -> T__'8605'_28 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                   Integer -> T__'8605'_28 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.d__'8593''7611'_40
                                                   (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v18))
                                                ((T__'8605'_28 -> T__'8605'_28 -> T__'8829'__102 -> T__'8829'__102)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                                   T__'8605'_28 -> T__'8605'_28 -> T__'8829'__102 -> T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.du__'8593''7611''7611'_126
                                                   (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v16) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v18) (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
v23))
                                                (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v24) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v25) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v15)
                                         T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                  T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                           T__'8829'__102
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                    T__'8605'_28
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8605'_28
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_ƛ'8595'_244 T_Inline_224
v15
        -> case T__'8605'_28 -> T__'8605'_28
forall a b. a -> b
coe T__'8605'_28
v2 of
             MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 T__'8605'_28
v16 T__'8866'_14
v17
               -> case T__'8605'_28 -> T__'8605'_28
forall a b. a -> b
coe T__'8605'_28
v3 of
                    MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 T__'8605'_28
v18 T__'8866'_14
v19
                      -> case T__'8829'__102 -> T__'8829'__102
forall a b. a -> b
coe T__'8829'__102
v4 of
                           MAlonzo.Code.VerifiedCompilation.UInline.C_drop_122 T__'8829'__102
v23
                             -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
                                  MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v24
                                    -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                                         Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140
                                         ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v0))
                                         (((T_Fin_10 -> T__'8866'_14)
 -> T__'8866'_14 -> T_Fin_10 -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                            (T_Fin_10 -> T__'8866'_14)
-> T__'8866'_14 -> T_Fin_10 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.du_extend_454
                                            ((Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14)
-> Any -> Any -> Any
forall a b. a -> b
coe
                                               Integer -> (T_Fin_10 -> T__'8866'_14) -> T_Fin_10 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.du__'8593''738'_470
                                               (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1))
                                            ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any -> Any -> Any
forall a b. a -> b
coe
                                               Integer -> T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.d_weaken_88
                                               (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v17)))
                                         ((Integer -> T__'8605'_28 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Integer -> T__'8605'_28 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.d__'8593''7611'_40
                                            (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v16))
                                         ((Integer -> T__'8605'_28 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Integer -> T__'8605'_28 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.d__'8593''7611'_40
                                            (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v18))
                                         ((T__'8605'_28 -> T__'8605'_28 -> T__'8829'__102 -> T__'8829'__102)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                            T__'8605'_28 -> T__'8605'_28 -> T__'8829'__102 -> T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.du__'8593''7611''7611'_126
                                            (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v16) (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v18) (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
v23))
                                         (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v24)
                                         ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Integer -> T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.RenamingSubstitution.d_weaken_88
                                            (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
                                         (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v15)
                                  T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                           T__'8829'__102
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                    T__'8605'_28
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8605'_28
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__250 T_Inline_224
v16 T_Inline_224
v17
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v18 T__'8866'_14
v19
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v20 T__'8866'_14
v21
                      -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer -> Integer -> Integer
addInt
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                              (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v19) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v21) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v17))
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                              ((T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                 T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v2)
                                 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v19))
                              ((T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                                 T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v3)
                                 (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v19))
                              ((T__'8829'__102 -> T__'8829'__102) -> T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102 -> T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_keep_114 T__'8829'__102
v4)
                              (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v18) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v20) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v16))
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C__'183''8595'_254 T_Inline_224
v15
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v16 T__'8866'_14
v17
               -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                    Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                    ((T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                       T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v2)
                       (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v17))
                    ((T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28) -> Any -> Any -> Any
forall a b. a -> b
coe
                       T__'8605'_28 -> T__'8866'_14 -> T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C__'183'__34 (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
v3)
                       (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v17))
                    ((T__'8829'__102 -> T__'8829'__102) -> T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102 -> T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_drop_122 T__'8829'__102
v4)
                    (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v16) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v15)
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_force_258 T_Inline_224
v14
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v15
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v16
                      -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                           (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v15) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v16) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v14)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_delay_262 T_Inline_224
v14
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v15
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v16
                      -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                           (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                           (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v15) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v16) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v14)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Inline_224
MAlonzo.Code.VerifiedCompilation.UInline.C_con_266
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      T_Inline_224
MAlonzo.Code.VerifiedCompilation.UInline.C_builtin_270
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      MAlonzo.Code.VerifiedCompilation.UInline.C_constr_280 T_Pointwise_48
v15
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_constr_34 Integer
v16 [T__'8866'_14]
v17
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C_constr_34 Integer
v18 [T__'8866'_14]
v19
                      -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer
-> (T_Fin_10 -> T__'8866'_14)
-> [T__'8866'_14]
-> [T__'8866'_14]
-> T_Pointwise_48
-> Integer
d_numSitesInline'7510''695'_122 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v17)
                           ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v19) (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v15)
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.UInline.C_case_290 T_Inline_224
v16 T_Pointwise_48
v17
        -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5 of
             MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v18 [T__'8866'_14]
v19
               -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6 of
                    MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v20 [T__'8866'_14]
v21
                      -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer -> Integer -> Integer
addInt
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
                              (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
                              (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v18) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v20) (T_Inline_224 -> Any
forall a b. a -> b
coe T_Inline_224
v16))
                           ((Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> T_Pointwise_48
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> (T_Fin_10 -> T__'8866'_14)
-> [T__'8866'_14]
-> [T__'8866'_14]
-> T_Pointwise_48
-> Integer
d_numSitesInline'7510''695'_122 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ((T_Fin_10 -> T__'8866'_14) -> Any
forall a b. a -> b
coe T_Fin_10 -> T__'8866'_14
v1) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v19)
                              ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v21) (T_Pointwise_48 -> Any
forall a b. a -> b
coe T_Pointwise_48
v17))
                    T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Inline_224
MAlonzo.Code.VerifiedCompilation.UInline.C_error_292
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      T_Inline_224
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.numSitesCaseReduce
d_numSitesCaseReduce_178 ::
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.Relation.Binary.Modular.T_Fix_50 -> Integer
d_numSitesCaseReduce_178 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178 Integer
v0 T__'8866'_14
v1 T__'8866'_14
v2 T_Fix_50
v3
  = case T_Fix_50 -> T_Fix_50
forall a b. a -> b
coe T_Fix_50
v3 of
      MAlonzo.Code.Untyped.Relation.Binary.Modular.C_fix_60 Any
v7
        -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v7 of
             MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v11
               -> Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)
             MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v11
               -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v11 of
                    MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v15
                      -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v15 of
                           MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v19
                             -> (Any -> Any -> Any) -> Any -> Any -> Integer
forall a b. a -> b
coe Any -> Any -> Any
forall a b. a -> b -> b
seq (Any -> Any
forall a b. a -> b
coe Any
v19) (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer))
                           MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v19
                             -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v19 of
                                  MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v23
                                    -> case Any -> T_CompatLambda_122
forall a b. a -> b
coe Any
v23 of
                                         MAlonzo.Code.Untyped.Relation.Binary.Modular.C_ƛF_132 Any
v27
                                           -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
                                                MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v28
                                                  -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2 of
                                                       MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v29
                                                         -> (Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                              Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178
                                                              ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                 Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
                                                                 (Integer -> Any
forall a b. a -> b
coe Integer
v0))
                                                              (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v28) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v29) (Any -> Any
forall a b. a -> b
coe Any
v27)
                                                       T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                         T_CompatLambda_122
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                  MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v23
                                    -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v23 of
                                         MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v27
                                           -> case Any -> T_CompatApply_136
forall a b. a -> b
coe Any
v27 of
                                                MAlonzo.Code.Untyped.Relation.Binary.Modular.C__'183'F__150 Any
v33 Any
v34
                                                  -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
                                                       MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v35 T__'8866'_14
v36
                                                         -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2 of
                                                              MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v37 T__'8866'_14
v38
                                                                -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                                     Integer -> Integer -> Integer
addInt
                                                                     ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                        Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178
                                                                        (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v35) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v37)
                                                                        (Any -> Any
forall a b. a -> b
coe Any
v33))
                                                                     ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                        Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178
                                                                        (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v36) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v38)
                                                                        (Any -> Any
forall a b. a -> b
coe Any
v34))
                                                              T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                       T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                T_CompatApply_136
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                         MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v27
                                           -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v27 of
                                                MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v31
                                                  -> case Any -> T_CompatForce_154
forall a b. a -> b
coe Any
v31 of
                                                       MAlonzo.Code.Untyped.Relation.Binary.Modular.C_forceF_164 Any
v35
                                                         -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
                                                              MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v36
                                                                -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2 of
                                                                     MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v37
                                                                       -> (Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                                            Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178
                                                                            (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v36)
                                                                            (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v37) (Any -> Any
forall a b. a -> b
coe Any
v35)
                                                                     T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                              T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                       T_CompatForce_154
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v31
                                                  -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v31 of
                                                       MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v35
                                                         -> case Any -> T_CompatDelay_168
forall a b. a -> b
coe Any
v35 of
                                                              MAlonzo.Code.Untyped.Relation.Binary.Modular.C_delayF_178 Any
v39
                                                                -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
                                                                     MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v40
                                                                       -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2 of
                                                                            MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v41
                                                                              -> (Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                                                   Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178
                                                                                   (Integer -> Any
forall a b. a -> b
coe Integer
v0)
                                                                                   (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v40)
                                                                                   (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v41)
                                                                                   (Any -> Any
forall a b. a -> b
coe Any
v39)
                                                                            T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                     T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                              T_CompatDelay_168
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                       MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v35
                                                         -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v35 of
                                                              MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v39
                                                                -> (Any -> Any -> Any) -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                                     Any -> Any -> Any
forall a b. a -> b -> b
seq (Any -> Any
forall a b. a -> b
coe Any
v39)
                                                                     (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer))
                                                              MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v39
                                                                -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v39 of
                                                                     MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v43
                                                                       -> case Any -> T_CompatConstr_194
forall a b. a -> b
coe Any
v43 of
                                                                            MAlonzo.Code.Untyped.Relation.Binary.Modular.C_constrF_206 T_Pointwise_20
v48
                                                                              -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
                                                                                   MAlonzo.Code.Untyped.C_constr_34 Integer
v49 [T__'8866'_14]
v50
                                                                                     -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe
                                                                                               T__'8866'_14
v2 of
                                                                                          MAlonzo.Code.Untyped.C_constr_34 Integer
v51 [T__'8866'_14]
v52
                                                                                            -> (Integer
 -> [T__'8866'_14] -> [T__'8866'_14] -> T_Pointwise_20 -> Integer)
-> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                                                                 Integer
-> [T__'8866'_14] -> [T__'8866'_14] -> T_Pointwise_20 -> Integer
d_numSitesCaseReduce'42'_186
                                                                                                 (Integer -> Any
forall a b. a -> b
coe
                                                                                                    Integer
v0)
                                                                                                 ([T__'8866'_14] -> Any
forall a b. a -> b
coe
                                                                                                    [T__'8866'_14]
v50)
                                                                                                 ([T__'8866'_14] -> Any
forall a b. a -> b
coe
                                                                                                    [T__'8866'_14]
v52)
                                                                                                 (T_Pointwise_20 -> Any
forall a b. a -> b
coe
                                                                                                    T_Pointwise_20
v48)
                                                                                          T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                                   T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                            T_CompatConstr_194
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                     MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v43
                                                                       -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v43 of
                                                                            MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v47
                                                                              -> case Any -> T_CompatCase_210
forall a b. a -> b
coe Any
v47 of
                                                                                   MAlonzo.Code.Untyped.Relation.Binary.Modular.C_caseF_224 Any
v53 T_Pointwise_20
v54
                                                                                     -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe
                                                                                               T__'8866'_14
v1 of
                                                                                          MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v55 [T__'8866'_14]
v56
                                                                                            -> case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe
                                                                                                      T__'8866'_14
v2 of
                                                                                                 MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v57 [T__'8866'_14]
v58
                                                                                                   -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                                                                        Integer -> Integer -> Integer
addInt
                                                                                                        ((Integer
 -> [T__'8866'_14] -> [T__'8866'_14] -> T_Pointwise_20 -> Integer)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                           Integer
-> [T__'8866'_14] -> [T__'8866'_14] -> T_Pointwise_20 -> Integer
d_numSitesCaseReduce'42'_186
                                                                                                           (Integer -> Any
forall a b. a -> b
coe
                                                                                                              Integer
v0)
                                                                                                           ([T__'8866'_14] -> Any
forall a b. a -> b
coe
                                                                                                              [T__'8866'_14]
v56)
                                                                                                           ([T__'8866'_14] -> Any
forall a b. a -> b
coe
                                                                                                              [T__'8866'_14]
v58)
                                                                                                           (T_Pointwise_20 -> Any
forall a b. a -> b
coe
                                                                                                              T_Pointwise_20
v54))
                                                                                                        ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                                                                                           Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178
                                                                                                           (Integer -> Any
forall a b. a -> b
coe
                                                                                                              Integer
v0)
                                                                                                           (T__'8866'_14 -> Any
forall a b. a -> b
coe
                                                                                                              T__'8866'_14
v55)
                                                                                                           (T__'8866'_14 -> Any
forall a b. a -> b
coe
                                                                                                              T__'8866'_14
v57)
                                                                                                           (Any -> Any
forall a b. a -> b
coe
                                                                                                              Any
v53))
                                                                                                 T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                                          T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                                   T_CompatCase_210
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                            MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v47
                                                                              -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v47 of
                                                                                   MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v51
                                                                                     -> (Any -> Any -> Any) -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                                                          Any -> Any -> Any
forall a b. a -> b -> b
seq
                                                                                          (Any -> Any
forall a b. a -> b
coe Any
v51)
                                                                                          (Integer -> Any
forall a b. a -> b
coe
                                                                                             (Integer
0 ::
                                                                                                Integer))
                                                                                   MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v51
                                                                                     -> case Any -> T__'43'__16
forall a b. a -> b
coe
                                                                                               Any
v51 of
                                                                                          MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v55
                                                                                            -> (Any -> Any -> Any) -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                                                                 Any -> Any -> Any
forall a b. a -> b -> b
seq
                                                                                                 (Any -> Any
forall a b. a -> b
coe
                                                                                                    Any
v55)
                                                                                                 (Integer -> Any
forall a b. a -> b
coe
                                                                                                    (Integer
0 ::
                                                                                                       Integer))
                                                                                          T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                                   T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                            T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                                     T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                              T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                       T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                                T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                         T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                  T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                           T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                    MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v15
                      -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v15 of
                           MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v19
                             -> case Any -> T_Transitivity_68
forall a b. a -> b
coe Any
v19 of
                                  MAlonzo.Code.Untyped.Relation.Binary.Modular.C_transF_80 T__'8866'_14
v22 Any
v24 Any
v25
                                    -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                                         Integer -> Integer -> Integer
addInt
                                         ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v22)
                                            (Any -> Any
forall a b. a -> b
coe Any
v24))
                                         ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                            Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v22) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2)
                                            (Any -> Any
forall a b. a -> b
coe Any
v25))
                                  T_Transitivity_68
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                           MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v19
                             -> case Any -> T__'43'__16
forall a b. a -> b
coe Any
v19 of
                                  MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inl_30 Any
v23
                                    -> case Any -> T_Symmetry_84
forall a b. a -> b
coe Any
v23 of
                                         MAlonzo.Code.Untyped.Relation.Binary.Modular.C_symF_94 Any
v27
                                           -> (Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1)
                                                (Any -> Any
forall a b. a -> b
coe Any
v27)
                                         T_Symmetry_84
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                                  MAlonzo.Code.Untyped.Relation.Binary.Modular.C_inr_38 Any
v23
                                    -> (Any -> Any -> Any) -> Any -> Any -> Integer
forall a b. a -> b
coe Any -> Any -> Any
forall a b. a -> b -> b
seq (Any -> Any
forall a b. a -> b
coe Any
v23) (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer))
                                  T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                           T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
                    T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'43'__16
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Fix_50
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.numSitesCaseReduce*
d_numSitesCaseReduce'42'_186 ::
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Untyped.Relation.Binary.Core.T_Pointwise_20 -> Integer
d_numSitesCaseReduce'42'_186 :: Integer
-> [T__'8866'_14] -> [T__'8866'_14] -> T_Pointwise_20 -> Integer
d_numSitesCaseReduce'42'_186 Integer
v0 [T__'8866'_14]
v1 [T__'8866'_14]
v2 T_Pointwise_20
v3
  = case T_Pointwise_20 -> T_Pointwise_20
forall a b. a -> b
coe T_Pointwise_20
v3 of
      T_Pointwise_20
MAlonzo.Code.Untyped.Relation.Binary.Core.C_'91''93'_26
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      MAlonzo.Code.Untyped.Relation.Binary.Core.C__'8759'__36 Any
v8 T_Pointwise_20
v9
        -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v1 of
             (:) Any
v10 [Any]
v11
               -> case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v2 of
                    (:) Any
v12 [Any]
v13
                      -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                           Integer -> Integer -> Integer
addInt
                           ((Integer
 -> [T__'8866'_14] -> [T__'8866'_14] -> T_Pointwise_20 -> Integer)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer
-> [T__'8866'_14] -> [T__'8866'_14] -> T_Pointwise_20 -> Integer
d_numSitesCaseReduce'42'_186 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ([Any] -> Any
forall a b. a -> b
coe [Any]
v11) ([Any] -> Any
forall a b. a -> b
coe [Any]
v13) (T_Pointwise_20 -> Any
forall a b. a -> b
coe T_Pointwise_20
v9))
                           ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (Any -> Any
forall a b. a -> b
coe Any
v10) (Any -> Any
forall a b. a -> b
coe Any
v12) (Any -> Any
forall a b. a -> b
coe Any
v8))
                    [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
             [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Pointwise_20
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.numSites
d_numSites_222 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.VerifiedCompilation.Trace.T_CertifiedOptTag_10 ->
  AgdaAny -> Integer
d_numSites_222 :: T__'8866'_14
-> T__'8866'_14 -> T_CertifiedOptTag_10 -> Any -> Integer
d_numSites_222 T__'8866'_14
v0 T__'8866'_14
v1 T_CertifiedOptTag_10
v2 Any
v3
  = case T_CertifiedOptTag_10 -> T_CertifiedOptTag_10
forall a b. a -> b
coe T_CertifiedOptTag_10
v2 of
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_floatDelayT_12
        -> (T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer)
-> T__'8866'_14 -> T__'8866'_14 -> Any -> Integer
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer
du_numSites'8242'_26 T__'8866'_14
v0 T__'8866'_14
v1 Any
v3
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_forceDelayT_14
        -> (T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer)
-> T__'8866'_14 -> T__'8866'_14 -> Any -> Integer
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer
du_numSites'8242'_26 T__'8866'_14
v0 T__'8866'_14
v1 Any
v3
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_forceCaseDelayT_16
        -> (T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer)
-> T__'8866'_14 -> T__'8866'_14 -> Any -> Integer
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer
du_numSites'8242'_26 T__'8866'_14
v0 T__'8866'_14
v1 Any
v3
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_inlineT_18
        -> (Integer
 -> (T_Fin_10 -> T__'8866'_14)
 -> T__'8605'_28
 -> T__'8605'_28
 -> T__'8829'__102
 -> T__'8866'_14
 -> T__'8866'_14
 -> T_Inline_224
 -> Integer)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer
-> (T_Fin_10 -> T__'8866'_14)
-> T__'8605'_28
-> T__'8605'_28
-> T__'8829'__102
-> T__'8866'_14
-> T__'8866'_14
-> T_Inline_224
-> Integer
d_numSitesInline_140 (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)) Any
forall a. a
erased
             (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
             (T__'8605'_28 -> Any
forall a b. a -> b
coe T__'8605'_28
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_32)
             (T__'8829'__102 -> Any
forall a b. a -> b
coe T__'8829'__102
MAlonzo.Code.VerifiedCompilation.UInline.C_'9633'_106)
             (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1) (Any -> Any
forall a b. a -> b
coe Any
v3)
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_cseT_20
        -> (T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer)
-> T__'8866'_14 -> T__'8866'_14 -> Any -> Integer
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer
du_numSites'8242'_26 T__'8866'_14
v0 T__'8866'_14
v1 Any
v3
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_applyToCaseT_22
        -> (T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer)
-> T__'8866'_14 -> T__'8866'_14 -> Any -> Integer
forall a b. a -> b
coe T__'8866'_14 -> T__'8866'_14 -> T_Translation_8 -> Integer
du_numSites'8242'_26 T__'8866'_14
v0 T__'8866'_14
v1 Any
v3
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_caseReduceT_24
        -> (Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer)
-> Any -> Any -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> T__'8866'_14 -> T__'8866'_14 -> T_Fix_50 -> Integer
d_numSitesCaseReduce_178 (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v1)
             ((Integer -> T__'8866'_14 -> T_Fix_50) -> Any -> Any -> Any
forall a b. a -> b
coe
                Integer -> T__'8866'_14 -> T_Fix_50
MAlonzo.Code.VerifiedCompilation.UCaseReduce.du_sound_568
                (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v0))
      T_CertifiedOptTag_10
MAlonzo.Code.VerifiedCompilation.Trace.C_letFloatOutT_26
        -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      T_CertifiedOptTag_10
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.showSites
d_showSites_248 ::
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Utils.T_Either_6
    MAlonzo.Code.VerifiedCompilation.Trace.T_UncertifiedOptTag_4
    MAlonzo.Code.VerifiedCompilation.Trace.T_CertifiedOptTag_10 ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showSites_248 :: T__'8866'_14
-> T__'8866'_14
-> T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
-> Any
-> Text
d_showSites_248 T__'8866'_14
v0 T__'8866'_14
v1 T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v2 Any
v3
  = case T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
-> Either Any Any
forall a b. a -> b
coe T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v2 of
      MAlonzo.Code.Utils.C_inj'8321'_12 Any
v4 -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      MAlonzo.Code.Utils.C_inj'8322'_14 Any
v4
        -> (Text -> Text) -> Any -> Text
forall a b. a -> b
coe
             Text -> Text
d_'8649'__2
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"Optimization sites: " :: Data.Text.Text)
                ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe
                   Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56
                   (T__'8866'_14
-> T__'8866'_14 -> T_CertifiedOptTag_10 -> Any -> Integer
d_numSites_222 (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v0) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1) (Any -> T_CertifiedOptTag_10
forall a b. a -> b
coe Any
v4) (Any -> Any
forall a b. a -> b
coe Any
v3))))
      Either Any Any
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.termSize
d_termSize_256 ::
  Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> Integer
d_termSize_256 :: Integer -> T__'8866'_14 -> Integer
d_termSize_256 Integer
v0 T__'8866'_14
v1
  = case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v1 of
      MAlonzo.Code.Untyped.C_'96'_18 T_Fin_10
v2 -> Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)
      MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v2
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
             ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe
                Integer -> T__'8866'_14 -> Integer
d_termSize_256 ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Integer -> Any
forall a b. a -> b
coe Integer
v0)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2))
      MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v2 T__'8866'_14
v3
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt
             ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe
                Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_256 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2)))
             ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_256 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
      MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v2
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_256 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2))
      MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v2
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_256 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2))
      MAlonzo.Code.Untyped.C_con_28 T_TmCon_202
v2 -> Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)
      MAlonzo.Code.Untyped.C_constr_34 Integer
v2 [T__'8866'_14]
v3
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
             ((Integer -> [T__'8866'_14] -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> [T__'8866'_14] -> Integer
d_termSize'7510''695'_260 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v3))
      MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v2 [T__'8866'_14]
v3
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt
             ((Integer -> Integer -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe
                Integer -> Integer -> Integer
addInt (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
                ((Integer -> [T__'8866'_14] -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> [T__'8866'_14] -> Integer
d_termSize'7510''695'_260 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v3)))
             ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_256 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2))
      MAlonzo.Code.Untyped.C_builtin_44 T_Builtin_2
v2 -> Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)
      T__'8866'_14
MAlonzo.Code.Untyped.C_error_46 -> Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)
      T__'8866'_14
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.termSizeᵖʷ
d_termSize'7510''695'_260 ::
  Integer -> [MAlonzo.Code.Untyped.T__'8866'_14] -> Integer
d_termSize'7510''695'_260 :: Integer -> [T__'8866'_14] -> Integer
d_termSize'7510''695'_260 Integer
v0 [T__'8866'_14]
v1
  = case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v1 of
      [] -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      (:) Any
v2 [Any]
v3
        -> (Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt ((Integer -> [T__'8866'_14] -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> [T__'8866'_14] -> Integer
d_termSize'7510''695'_260 (Integer -> Any
forall a b. a -> b
coe Integer
v0) ([Any] -> Any
forall a b. a -> b
coe [Any]
v3))
             ((Integer -> T__'8866'_14 -> Integer) -> Any -> Any -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Integer
d_termSize_256 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (Any -> Any
forall a b. a -> b
coe Any
v2))
      [Any]
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.showEvalResult
d_showEvalResult_282 ::
  MAlonzo.Code.VerifiedCompilation.Trace.T_EvalResult_138 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showEvalResult_282 :: T_EvalResult_138 -> Text
d_showEvalResult_282 T_EvalResult_138
v0
  = case T_EvalResult_138 -> T_EvalResult_138
forall a b. a -> b
coe T_EvalResult_138
v0 of
      MAlonzo.Code.VerifiedCompilation.Trace.C_success_140 Integer
v1 Integer
v2
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text -> Text
d_'8649'__2 (Text -> Text
forall a b. a -> b
coe (Text
"Execution Cost: CPU = " :: Data.Text.Text)))
             ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 Integer
v1)
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (Text
", MEM = " :: Data.Text.Text)
                   ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 Integer
v2)))
      MAlonzo.Code.VerifiedCompilation.Trace.C_failure_142 Text
v1 Integer
v2 Integer
v3
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text -> Text
d_'8649'__2 (Text -> Text
forall a b. a -> b
coe (Text
"Evaluation FAILED: " :: Data.Text.Text)))
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
v1
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_nl_6
                   ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (Text -> Text
d_'8649'__2 (Text -> Text
forall a b. a -> b
coe (Text
"Execution Cost: CPU = " :: Data.Text.Text)))
                      ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                         Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                         ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 Integer
v2)
                         ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                            Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                            (Text
", MEM = " :: Data.Text.Text)
                            ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 Integer
v3))))))
      T_EvalResult_138
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.showCostPair
d_showCostPair_294 ::
  [MAlonzo.Code.VerifiedCompilation.Trace.T_EvalResult_138] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showCostPair_294 :: [T_EvalResult_138] -> Text
d_showCostPair_294 [T_EvalResult_138]
v0
  = let v1 :: Text
v1 = Text
"" :: Data.Text.Text in
    Any -> Text
forall a b. a -> b
coe
      (case [T_EvalResult_138] -> [Any]
forall a b. a -> b
coe [T_EvalResult_138]
v0 of
         (:) Any
v2 [Any]
v3
           -> case [Any] -> [Any]
forall a b. a -> b
coe [Any]
v3 of
                (:) Any
v4 [Any]
v5
                  -> (Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                       Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                       (T_EvalResult_138 -> Text
d_showEvalResult_282 (Any -> T_EvalResult_138
forall a b. a -> b
coe Any
v2))
                       ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                          Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                          (Text
" (before)" :: Data.Text.Text)
                          ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_nl_6
                             ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                (T_EvalResult_138 -> Text
d_showEvalResult_282 (Any -> T_EvalResult_138
forall a b. a -> b
coe Any
v4)) (Text
" (after)" :: Data.Text.Text))))
                [Any]
_ -> Text -> Any
forall a b. a -> b
coe Text
v1
         [Any]
_ -> Text -> Any
forall a b. a -> b
coe Text
v1)
-- CertifierReport.tail
d_tail_302 :: () -> [AgdaAny] -> [AgdaAny]
d_tail_302 :: () -> [Any] -> [Any]
d_tail_302 ~()
v0 [Any]
v1 = [Any] -> [Any]
du_tail_302 [Any]
v1
du_tail_302 :: [AgdaAny] -> [AgdaAny]
du_tail_302 :: [Any] -> [Any]
du_tail_302 [Any]
v0
  = case [Any] -> [Any]
forall a b. a -> b
coe [Any]
v0 of
      [] -> [Any] -> [Any]
forall a b. a -> b
coe [Any]
v0
      (:) Any
v1 [Any]
v2 -> [Any] -> [Any]
forall a b. a -> b
coe [Any]
v2
      [Any]
_ -> [Any]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.reportPasses
d_reportPasses_312 ::
  Integer ->
  MAlonzo.Code.VerifiedCompilation.Trace.T_Trace_84 ->
  AgdaAny ->
  [MAlonzo.Code.VerifiedCompilation.Trace.T_EvalResult_138] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_reportPasses_312 :: Integer -> T_Trace_84 -> Any -> [T_EvalResult_138] -> Text
d_reportPasses_312 Integer
v0 T_Trace_84
v1 Any
v2 [T_EvalResult_138]
v3
  = case T_Trace_84 -> T_Trace_84
forall a b. a -> b
coe T_Trace_84
v1 of
      MAlonzo.Code.VerifiedCompilation.Trace.C_step_88 T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v4 T_Hints_76
v5 Any
v6 T_Trace_84
v7
        -> case Any -> (Any, Any)
forall a b. a -> b
coe Any
v2 of
             MAlonzo.Code.Utils.C__'44'__450 Any
v8 Any
v9
               -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
                    Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
                    ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                       Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                       (Text
"Pass " :: Data.Text.Text)
                       ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                          Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                          ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 Integer
v0)
                          ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                             (Text
": " :: Data.Text.Text)
                             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 -> Text
d_showTag_14 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
-> T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
forall a b. a -> b
coe T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v4))
                                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
                                   ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                      (Text -> Text
d_'8649'__2 (Text -> Text
forall a b. a -> b
coe (Text
"Program Size: " :: Data.Text.Text)))
                                      ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                                         Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                         ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe
                                            Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56
                                            (Integer -> T__'8866'_14 -> Integer
d_termSize_256 (Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)) (Any -> T__'8866'_14
forall a b. a -> b
coe Any
v6)))
                                         ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                            Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                            (Text
" (before)" :: Data.Text.Text)
                                            ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                               Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_nl_6
                                               ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                                  Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                  (Text -> Text
d_'8649'__2
                                                     (Text -> Text
forall a b. a -> b
coe (Text
"Program Size: " :: Data.Text.Text)))
                                                  ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                                                     Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                     ((Integer -> Text) -> Integer -> Any
forall a b. a -> b
coe
                                                        Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56
                                                        (Integer -> T__'8866'_14 -> Integer
d_termSize_256
                                                           (Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer))
                                                           ((T_Trace_84 -> Any) -> Any -> T__'8866'_14
forall a b. a -> b
coe
                                                              T_Trace_84 -> Any
MAlonzo.Code.VerifiedCompilation.Trace.d_head_94
                                                              (T_Trace_84 -> Any
forall a b. a -> b
coe T_Trace_84
v7))))
                                                     ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                                        Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                        (Text
" (after)" :: Data.Text.Text)
                                                        ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                                           Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                           Text
d_nl_6
                                                           ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                                              Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                              ([T_EvalResult_138] -> Text
d_showCostPair_294 ([T_EvalResult_138] -> [T_EvalResult_138]
forall a b. a -> b
coe [T_EvalResult_138]
v3))
                                                              ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                                                 Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                                 Text
d_nl_6
                                                                 ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                                                                    Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                                    (T__'8866'_14
-> T__'8866'_14
-> T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
-> Any
-> Text
d_showSites_248
                                                                       (Any -> T__'8866'_14
forall a b. a -> b
coe Any
v6)
                                                                       ((T_Trace_84 -> Any) -> Any -> T__'8866'_14
forall a b. a -> b
coe
                                                                          T_Trace_84 -> Any
MAlonzo.Code.VerifiedCompilation.Trace.d_head_94
                                                                          (T_Trace_84 -> Any
forall a b. a -> b
coe T_Trace_84
v7))
                                                                       (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
-> T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
forall a b. a -> b
coe T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v4) (Any -> Any
forall a b. a -> b
coe Any
v8))
                                                                    ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                                                                       Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                                                       Text
d_nl_6
                                                                       (Integer -> T_Trace_84 -> Any -> [T_EvalResult_138] -> Text
d_reportPasses_312
                                                                          ((Integer -> Integer -> Integer) -> Any -> Any -> Integer
forall a b. a -> b
coe
                                                                             Integer -> Integer -> Integer
addInt
                                                                             (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer))
                                                                             (Integer -> Any
forall a b. a -> b
coe Integer
v0))
                                                                          (T_Trace_84 -> T_Trace_84
forall a b. a -> b
coe T_Trace_84
v7) (Any -> Any
forall a b. a -> b
coe Any
v9)
                                                                          (([Any] -> [Any]) -> Any -> [T_EvalResult_138]
forall a b. a -> b
coe
                                                                             [Any] -> [Any]
du_tail_302
                                                                             ([T_EvalResult_138] -> Any
forall a b. a -> b
coe
                                                                                [T_EvalResult_138]
v3))))))))))))))))))))
             (Any, Any)
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.VerifiedCompilation.Trace.C_done_90 Any
v4
        -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      T_Trace_84
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.reportFailure
d_reportFailure_328 ::
  MAlonzo.Code.VerifiedCompilation.T_Error_2 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_reportFailure_328 :: T_Error_2 -> Text
d_reportFailure_328 T_Error_2
v0
  = case T_Error_2 -> T_Error_2
forall a b. a -> b
coe T_Error_2
v0 of
      T_Error_2
MAlonzo.Code.VerifiedCompilation.C_emptyDump_4
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
             ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"Empty trace from the compiler  \10060 FAILED" :: Data.Text.Text)
                Text
d_hl_8)
      T_Error_2
MAlonzo.Code.VerifiedCompilation.C_illScoped_6
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
             ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"Trace from compiler contained ill-scoped terms  \10060 FAILED"
                 ::
                 Data.Text.Text)
                Text
d_hl_8)
      MAlonzo.Code.VerifiedCompilation.C_counterExample_8 T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v1
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"Pass " :: Data.Text.Text)
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 -> Text
d_showTag_14 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
-> T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
forall a b. a -> b
coe T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v1))
                   ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (Text
"  \10060 FAILED" :: Data.Text.Text) Text
d_hl_8)))
      MAlonzo.Code.VerifiedCompilation.C_abort_10 T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v1
        -> (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_hl_8
             ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                (Text
"Pass " :: Data.Text.Text)
                ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                   (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 -> Text
d_showTag_14 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
-> T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
forall a b. a -> b
coe T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10
v1))
                   ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                      (Text
"  \10060 FAILED" :: Data.Text.Text) Text
d_hl_8)))
      T_Error_2
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- CertifierReport.makeReport
d_makeReport_334 ::
  MAlonzo.Code.Utils.T_Either_6
    MAlonzo.Code.VerifiedCompilation.T_Error_2
    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
  [MAlonzo.Code.VerifiedCompilation.Trace.T_EvalResult_138] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_makeReport_334 :: T_Either_6 T_Error_2 T_Σ_14 -> [T_EvalResult_138] -> Text
d_makeReport_334 T_Either_6 T_Error_2 T_Σ_14
v0 [T_EvalResult_138]
v1
  = (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe
      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
      (Text
"UPLC OPTIMIZATION: CERTIFIER REPORT" :: Data.Text.Text)
      ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
         Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20 Text
d_nl_6
         ((Either Any Any -> (Any -> Any) -> (Any -> Any) -> Any)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
            Either Any Any -> (Any -> Any) -> (Any -> Any) -> Any
MAlonzo.Code.Utils.du_either_22 (T_Either_6 T_Error_2 T_Σ_14 -> Any
forall a b. a -> b
coe T_Either_6 T_Error_2 T_Σ_14
v0) ((T_Error_2 -> Text) -> Any
forall a b. a -> b
coe T_Error_2 -> Text
d_reportFailure_328)
            ((Any -> Any) -> Any
forall a b. a -> b
coe
               (\ Any
v2 ->
                  case Any -> T_Σ_14
forall a b. a -> b
coe Any
v2 of
                    MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 Any
v3 Any
v4
                      -> (Integer -> T_Trace_84 -> Any -> [T_EvalResult_138] -> Text)
-> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                           Integer -> T_Trace_84 -> Any -> [T_EvalResult_138] -> Text
d_reportPasses_312 (Integer -> Any
forall a b. a -> b
coe (Integer
1 :: Integer)) (Any -> Any
forall a b. a -> b
coe Any
v3) (Any -> Any
forall a b. a -> b
coe Any
v4) ([T_EvalResult_138] -> Any
forall a b. a -> b
coe [T_EvalResult_138]
v1)
                    T_Σ_14
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError))))