{-# 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.Untyped.Transform 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.Equality
import qualified MAlonzo.Code.Agda.Builtin.List
import qualified MAlonzo.Code.Agda.Builtin.Maybe
import qualified MAlonzo.Code.Data.Maybe.Base
import qualified MAlonzo.Code.Untyped
import qualified MAlonzo.Code.Untyped.Relation.Binary.Core
import qualified MAlonzo.Code.Untyped.Relation.Binary.Structures

-- Untyped.Transform._↑_
d__'8593'__8 ::
  (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
d__'8593'__8 :: (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 Integer -> T__'8866'_14 -> T__'8866'_14
v0 Integer
v1 T__'8866'_14
v2
  = (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0 Integer
v1 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d_subterms_20 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Integer
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2))
-- Untyped.Transform._↑*_
d__'8593''42'__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]
d__'8593''42'__14 :: (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''42'__14 Integer -> T__'8866'_14 -> T__'8866'_14
v0 Integer
v1 [T__'8866'_14]
v2
  = case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v2 of
      [] -> [T__'8866'_14] -> [T__'8866'_14]
forall a b. a -> b
coe [T__'8866'_14]
v2
      (:) Any
v3 [Any]
v4
        -> (Any -> [Any] -> [Any]) -> Any -> Any -> [T__'8866'_14]
forall a b. a -> b
coe
             Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
             (((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (Any -> Any
forall a b. a -> b
coe Any
v3))
             (((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> [T__'8866'_14] -> [T__'8866'_14])
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''42'__14 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) ([Any] -> Any
forall a b. a -> b
coe [Any]
v4))
      [Any]
_ -> [T__'8866'_14]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Untyped.Transform.subterms
d_subterms_20 ::
  (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
d_subterms_20 :: (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d_subterms_20 Integer -> T__'8866'_14 -> T__'8866'_14
v0 Integer
v1 T__'8866'_14
v2
  = ((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
du_'46'extendedlambda0_38 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2)
-- Untyped.Transform..extendedlambda0
d_'46'extendedlambda0_38 ::
  (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 ->
  MAlonzo.Code.Untyped.T__'8866'_14
d_'46'extendedlambda0_38 :: (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8866'_14
d_'46'extendedlambda0_38 Integer -> T__'8866'_14 -> T__'8866'_14
v0 Integer
v1 ~T__'8866'_14
v2 T__'8866'_14
v3
  = (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
du_'46'extendedlambda0_38 Integer -> T__'8866'_14 -> T__'8866'_14
v0 Integer
v1 T__'8866'_14
v3
du_'46'extendedlambda0_38 ::
  (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
du_'46'extendedlambda0_38 :: (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
du_'46'extendedlambda0_38 Integer -> T__'8866'_14 -> T__'8866'_14
v0 Integer
v1 T__'8866'_14
v2
  = case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2 of
      MAlonzo.Code.Untyped.C_'96'_18 T_Fin_10
v3 -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2
      MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v3
        -> (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe
             T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
             (((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) ((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
v1))
                (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
      MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v3 T__'8866'_14
v4
        -> (T__'8866'_14 -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
             T__'8866'_14 -> T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C__'183'__22
             (((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
             (((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v4))
      MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v3
        -> (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe
             T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
             (((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
      MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v3
        -> (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe
             T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26
             (((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
      MAlonzo.Code.Untyped.C_con_28 T_TmCon_202
v3 -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2
      MAlonzo.Code.Untyped.C_constr_34 Integer
v3 [T__'8866'_14]
v4
        -> (Integer -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
             Integer -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_constr_34 (Integer -> Any
forall a b. a -> b
coe Integer
v3)
             (((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> [T__'8866'_14] -> [T__'8866'_14])
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''42'__14 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v4))
      MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v3 [T__'8866'_14]
v4
        -> (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
             T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
             (((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
             (((Integer -> T__'8866'_14 -> T__'8866'_14)
 -> Integer -> [T__'8866'_14] -> [T__'8866'_14])
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''42'__14 ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v4))
      MAlonzo.Code.Untyped.C_builtin_44 T_Builtin_2
v3 -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2
      T__'8866'_14
MAlonzo.Code.Untyped.C_error_46 -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2
      T__'8866'_14
_ -> T__'8866'_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Untyped.Transform._↑?_
d__'8593''63'__68 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14
d__'8593''63'__68 :: (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0 Integer
v1 T__'8866'_14
v2
  = (Any -> Maybe Any -> Any) -> T__'8866'_14 -> Any -> T__'8866'_14
forall a b. a -> b
coe
      Any -> Maybe Any -> Any
MAlonzo.Code.Data.Maybe.Base.du_fromMaybe_46
      ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d_sub_80 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Integer
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2))
      ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0 Integer
v1 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d_sub_80 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Integer
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2)))
-- Untyped.Transform._↑?*_
d__'8593''63''42'__74 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  [MAlonzo.Code.Untyped.T__'8866'_14]
d__'8593''63''42'__74 :: (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''63''42'__74 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0 Integer
v1 [T__'8866'_14]
v2
  = case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v2 of
      [] -> [T__'8866'_14] -> [T__'8866'_14]
forall a b. a -> b
coe [T__'8866'_14]
v2
      (:) Any
v3 [Any]
v4
        -> (Any -> [Any] -> [Any]) -> Any -> Any -> [T__'8866'_14]
forall a b. a -> b
coe
             Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
             (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (Any -> Any
forall a b. a -> b
coe Any
v3))
             (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> [T__'8866'_14] -> [T__'8866'_14])
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''63''42'__74 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) ([Any] -> Any
forall a b. a -> b
coe [Any]
v4))
      [Any]
_ -> [T__'8866'_14]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Untyped.Transform.sub
d_sub_80 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14
d_sub_80 :: (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d_sub_80 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0 Integer
v1 T__'8866'_14
v2
  = ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
du_'46'extendedlambda1_100 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v2)
-- Untyped.Transform..extendedlambda1
d_'46'extendedlambda1_100 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14
d_'46'extendedlambda1_100 :: (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8866'_14
d_'46'extendedlambda1_100 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0 Integer
v1 ~T__'8866'_14
v2 T__'8866'_14
v3
  = (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
du_'46'extendedlambda1_100 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0 Integer
v1 T__'8866'_14
v3
du_'46'extendedlambda1_100 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  Integer ->
  MAlonzo.Code.Untyped.T__'8866'_14 ->
  MAlonzo.Code.Untyped.T__'8866'_14
du_'46'extendedlambda1_100 :: (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
du_'46'extendedlambda1_100 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0 Integer
v1 T__'8866'_14
v2
  = case T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2 of
      MAlonzo.Code.Untyped.C_'96'_18 T_Fin_10
v3 -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2
      MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v3
        -> (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe
             T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_ƛ_20
             (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0)
                ((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
v1)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
      MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v3 T__'8866'_14
v4
        -> (T__'8866'_14 -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
             T__'8866'_14 -> T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C__'183'__22
             (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
             (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v4))
      MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v3
        -> (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe
             T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_force_24
             (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
      MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v3
        -> (T__'8866'_14 -> T__'8866'_14) -> Any -> T__'8866'_14
forall a b. a -> b
coe
             T__'8866'_14 -> T__'8866'_14
MAlonzo.Code.Untyped.C_delay_26
             (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
      MAlonzo.Code.Untyped.C_con_28 T_TmCon_202
v3 -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2
      MAlonzo.Code.Untyped.C_constr_34 Integer
v3 [T__'8866'_14]
v4
        -> (Integer -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
             Integer -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_constr_34 (Integer -> Any
forall a b. a -> b
coe Integer
v3)
             (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> [T__'8866'_14] -> [T__'8866'_14])
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''63''42'__74 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v4))
      MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v3 [T__'8866'_14]
v4
        -> (T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14)
-> Any -> Any -> T__'8866'_14
forall a b. a -> b
coe
             T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14
MAlonzo.Code.Untyped.C_case_40
             (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v3))
             (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> [T__'8866'_14] -> [T__'8866'_14])
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''63''42'__74 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v0) (Integer -> Any
forall a b. a -> b
coe Integer
v1) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v4))
      MAlonzo.Code.Untyped.C_builtin_44 T_Builtin_2
v3 -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2
      T__'8866'_14
MAlonzo.Code.Untyped.C_error_46 -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v2
      T__'8866'_14
_ -> T__'8866'_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Untyped.Transform.Refines.↑-refines
d_'8593''45'refines_162 ::
  (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 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny) ->
  Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny
d_'8593''45'refines_162 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> (Integer
    -> T__'8866'_14
    -> T__'8866'_14
    -> T__'8866'_14
    -> Any
    -> Any
    -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
d_'8593''45'refines_162 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> T__'8866'_14
v3 Integer -> T__'8866'_14 -> Any
v4 Integer
v5 T__'8866'_14
v6
  = (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''45'refines_162 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> T__'8866'_14
v3 Integer -> T__'8866'_14 -> Any
v4 Integer
v5 T__'8866'_14
v6
du_'8593''45'refines_162 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny) ->
  Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny
du_'8593''45'refines_162 :: (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''45'refines_162 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0 T_TermCompatible_30
v1 Integer -> T__'8866'_14 -> T__'8866'_14
v2 Integer -> T__'8866'_14 -> Any
v3 Integer
v4 T__'8866'_14
v5
  = (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
-> Any
forall a b. a -> b
coe
      Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0 Integer
v4 T__'8866'_14
v5 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d_subterms_20 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5))
      ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2 Integer
v4 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d_subterms_20 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5)))
      (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
         (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_subterms'45'refines_170 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
         (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v5))
      ((Integer -> T__'8866'_14 -> Any) -> Integer -> T__'8866'_14 -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3 Integer
v4 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d_subterms_20 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5)))
-- Untyped.Transform.Refines.↑*-refines
d_'8593''42''45'refines_168 ::
  (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 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny) ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Untyped.Relation.Binary.Core.T_Pointwise_20
d_'8593''42''45'refines_168 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> (Integer
    -> T__'8866'_14
    -> T__'8866'_14
    -> T__'8866'_14
    -> Any
    -> Any
    -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
d_'8593''42''45'refines_168 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> T__'8866'_14
v3 Integer -> T__'8866'_14 -> Any
v4 Integer
v5 [T__'8866'_14]
v6
  = (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
du_'8593''42''45'refines_168 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> T__'8866'_14
v3 Integer -> T__'8866'_14 -> Any
v4 Integer
v5 [T__'8866'_14]
v6
du_'8593''42''45'refines_168 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny) ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Untyped.Relation.Binary.Core.T_Pointwise_20
du_'8593''42''45'refines_168 :: (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
du_'8593''42''45'refines_168 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0 T_TermCompatible_30
v1 Integer -> T__'8866'_14 -> T__'8866'_14
v2 Integer -> T__'8866'_14 -> Any
v3 Integer
v4 [T__'8866'_14]
v5
  = case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v5 of
      [] -> T_Pointwise_20 -> T_Pointwise_20
forall a b. a -> b
coe T_Pointwise_20
MAlonzo.Code.Untyped.Relation.Binary.Core.C_'91''93'_26
      (:) Any
v6 [Any]
v7
        -> (Any -> T_Pointwise_20 -> T_Pointwise_20)
-> Any -> Any -> T_Pointwise_20
forall a b. a -> b
coe
             Any -> T_Pointwise_20 -> T_Pointwise_20
MAlonzo.Code.Untyped.Relation.Binary.Core.C__'8759'__36
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''45'refines_162 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (Any -> Any
forall a b. a -> b
coe Any
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> [T__'8866'_14]
 -> T_Pointwise_20)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
du_'8593''42''45'refines_168 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) ([Any] -> Any
forall a b. a -> b
coe [Any]
v7))
      [Any]
_ -> T_Pointwise_20
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Untyped.Transform.Refines.subterms-refines
d_subterms'45'refines_170 ::
  (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 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny) ->
  Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny
d_subterms'45'refines_170 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> (Integer
    -> T__'8866'_14
    -> T__'8866'_14
    -> T__'8866'_14
    -> Any
    -> Any
    -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
d_subterms'45'refines_170 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> T__'8866'_14
v3 Integer -> T__'8866'_14 -> Any
v4 Integer
v5 T__'8866'_14
v6
  = (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_subterms'45'refines_170 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> T__'8866'_14
v3 Integer -> T__'8866'_14 -> Any
v4 Integer
v5 T__'8866'_14
v6
du_subterms'45'refines_170 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny) ->
  Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny
du_subterms'45'refines_170 :: (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_subterms'45'refines_170 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0 T_TermCompatible_30
v1 Integer -> T__'8866'_14 -> T__'8866'_14
v2 Integer -> T__'8866'_14 -> Any
v3 Integer
v4 T__'8866'_14
v5
  = 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
v6
        -> (T_TermCompatible_30 -> Integer -> T_Fin_10 -> Any)
-> T_TermCompatible_30 -> Integer -> T_Fin_10 -> Any
forall a b. a -> b
coe
             T_TermCompatible_30 -> Integer -> T_Fin_10 -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'var_96
             T_TermCompatible_30
v1 Integer
v4 T_Fin_10
v6
      MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v6
        -> (T_TermCompatible_30
 -> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any)
-> T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'ƛ_104
             T_TermCompatible_30
v1 Integer
v4 T__'8866'_14
v6
             ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8
                ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> 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 -> Any
forall a b. a -> b
coe Integer
v4)) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''45'refines_162 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
                ((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
v4)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
      MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v6 T__'8866'_14
v7
        -> (T_TermCompatible_30
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45''183'_106
             T_TermCompatible_30
v1 Integer
v4 T__'8866'_14
v6 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6)) T__'8866'_14
v7
             ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v7))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''45'refines_162 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''45'refines_162 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v7))
      MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v6
        -> (T_TermCompatible_30
 -> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any)
-> T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'force_108
             T_TermCompatible_30
v1 Integer
v4 T__'8866'_14
v6 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''45'refines_162 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
      MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v6
        -> (T_TermCompatible_30
 -> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any)
-> T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'delay_110
             T_TermCompatible_30
v1 Integer
v4 T__'8866'_14
v6 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''45'refines_162 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
      MAlonzo.Code.Untyped.C_con_28 T_TmCon_202
v6
        -> (T_TermCompatible_30 -> T_TmCon_202 -> Integer -> Any)
-> T_TermCompatible_30 -> T_TmCon_202 -> Integer -> Any
forall a b. a -> b
coe
             T_TermCompatible_30 -> T_TmCon_202 -> Integer -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'con_138
             T_TermCompatible_30
v1 T_TmCon_202
v6 Integer
v4
      MAlonzo.Code.Untyped.C_constr_34 Integer
v6 [T__'8866'_14]
v7
        -> (T_TermCompatible_30
 -> Integer
 -> Integer
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> T_Pointwise_20
 -> Any)
-> T_TermCompatible_30
-> Integer
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> T_Pointwise_20
-> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'constr_120
             T_TermCompatible_30
v1 Integer
v4 Integer
v6 [T__'8866'_14]
v7 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''42'__14 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) ([T__'8866'_14] -> [T__'8866'_14]
forall a b. a -> b
coe [T__'8866'_14]
v7))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> [T__'8866'_14]
 -> T_Pointwise_20)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
du_'8593''42''45'refines_168 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v7))
      MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v6 [T__'8866'_14]
v7
        -> (T_TermCompatible_30
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> Any
 -> T_Pointwise_20
 -> Any)
-> T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Any
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Any
-> T_Pointwise_20
-> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'case_132
             T_TermCompatible_30
v1 Integer
v4 T__'8866'_14
v6 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593'__8 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6)) [T__'8866'_14]
v7
             ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''42'__14 ((Integer -> T__'8866'_14 -> T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) ([T__'8866'_14] -> [T__'8866'_14]
forall a b. a -> b
coe [T__'8866'_14]
v7))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''45'refines_162 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> T__'8866'_14)
 -> (Integer -> T__'8866'_14 -> Any)
 -> Integer
 -> [T__'8866'_14]
 -> T_Pointwise_20)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> T__'8866'_14)
-> (Integer -> T__'8866'_14 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
du_'8593''42''45'refines_168 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> Any) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v7))
      MAlonzo.Code.Untyped.C_builtin_44 T_Builtin_2
v6
        -> (T_TermCompatible_30 -> Integer -> T_Builtin_2 -> Any)
-> T_TermCompatible_30 -> Integer -> T_Builtin_2 -> Any
forall a b. a -> b
coe
             T_TermCompatible_30 -> Integer -> T_Builtin_2 -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'builtin_144
             T_TermCompatible_30
v1 Integer
v4 T_Builtin_2
v6
      T__'8866'_14
MAlonzo.Code.Untyped.C_error_46
        -> (T_TermCompatible_30 -> Integer -> Any)
-> T_TermCompatible_30 -> Integer -> Any
forall a b. a -> b
coe
             T_TermCompatible_30 -> Integer -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'error_148
             T_TermCompatible_30
v1 Integer
v4
      T__'8866'_14
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Untyped.Transform.Refines?.↑?-refines
d_'8593''63''45'refines_270 ::
  (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 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> AgdaAny) ->
  Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny
d_'8593''63''45'refines_270 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> (Integer
    -> T__'8866'_14
    -> T__'8866'_14
    -> T__'8866'_14
    -> Any
    -> Any
    -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
d_'8593''63''45'refines_270 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v3 Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v4 Integer
v5 T__'8866'_14
v6
  = (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''63''45'refines_270 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v3 Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v4 Integer
v5 T__'8866'_14
v6
du_'8593''63''45'refines_270 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> AgdaAny) ->
  Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny
du_'8593''63''45'refines_270 :: (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''63''45'refines_270 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0 T_TermCompatible_30
v1 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2 Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3 Integer
v4 T__'8866'_14
v5
  = let v6 :: Any
v6
          = ((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
              (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_sub'45'refines_278 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3) (Integer -> Any
forall a b. a -> b
coe Integer
v4)
              (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v5) in
    Any -> Any
forall a b. a -> b
coe
      (let v7 :: Any
v7 = (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2 Integer
v4 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d_sub_80 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v5)) in
       Any -> Any
forall a b. a -> b
coe
         (case Any -> Maybe Any
forall a b. a -> b
coe Any
v7 of
            MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v8
              -> (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Integer -> T__'8866'_14 -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                   Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0 Integer
v4 T__'8866'_14
v5
                   (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
du_'46'extendedlambda1_100 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v5)) Any
v8 Any
v6
                   ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                      Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3 Integer
v4 (((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> Integer -> T__'8866'_14 -> T__'8866'_14)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
du_'46'extendedlambda1_100 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v5))
                      Any
v8 Any
forall a. a
erased)
            Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 -> Any -> Any
forall a b. a -> b
coe Any
v6
            Maybe Any
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError))
-- Untyped.Transform.Refines?.↑?*-refines
d_'8593''63''42''45'refines_276 ::
  (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 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> AgdaAny) ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Untyped.Relation.Binary.Core.T_Pointwise_20
d_'8593''63''42''45'refines_276 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> (Integer
    -> T__'8866'_14
    -> T__'8866'_14
    -> T__'8866'_14
    -> Any
    -> Any
    -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
d_'8593''63''42''45'refines_276 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v3 Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v4 Integer
v5 [T__'8866'_14]
v6
  = (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
du_'8593''63''42''45'refines_276 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v3 Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v4 Integer
v5 [T__'8866'_14]
v6
du_'8593''63''42''45'refines_276 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> AgdaAny) ->
  Integer ->
  [MAlonzo.Code.Untyped.T__'8866'_14] ->
  MAlonzo.Code.Untyped.Relation.Binary.Core.T_Pointwise_20
du_'8593''63''42''45'refines_276 :: (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
du_'8593''63''42''45'refines_276 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0 T_TermCompatible_30
v1 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2 Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3 Integer
v4 [T__'8866'_14]
v5
  = case [T__'8866'_14] -> [Any]
forall a b. a -> b
coe [T__'8866'_14]
v5 of
      [] -> T_Pointwise_20 -> T_Pointwise_20
forall a b. a -> b
coe T_Pointwise_20
MAlonzo.Code.Untyped.Relation.Binary.Core.C_'91''93'_26
      (:) Any
v6 [Any]
v7
        -> (Any -> T_Pointwise_20 -> T_Pointwise_20)
-> Any -> Any -> T_Pointwise_20
forall a b. a -> b
coe
             Any -> T_Pointwise_20 -> T_Pointwise_20
MAlonzo.Code.Untyped.Relation.Binary.Core.C__'8759'__36
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''63''45'refines_270 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (Any -> Any
forall a b. a -> b
coe Any
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> [T__'8866'_14]
 -> T_Pointwise_20)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
du_'8593''63''42''45'refines_276 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2)
                ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3) (Integer -> Any
forall a b. a -> b
coe Integer
v4) ([Any] -> Any
forall a b. a -> b
coe [Any]
v7))
      [Any]
_ -> T_Pointwise_20
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Untyped.Transform.Refines?.sub-refines
d_sub'45'refines_278 ::
  (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 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> AgdaAny) ->
  Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny
d_sub'45'refines_278 :: (Integer -> T__'8866'_14 -> T__'8866'_14 -> ())
-> (Integer
    -> T__'8866'_14
    -> T__'8866'_14
    -> T__'8866'_14
    -> Any
    -> Any
    -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
d_sub'45'refines_278 ~Integer -> T__'8866'_14 -> T__'8866'_14 -> ()
v0 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v3 Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v4 Integer
v5 T__'8866'_14
v6
  = (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_sub'45'refines_278 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v1 T_TermCompatible_30
v2 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v3 Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v4 Integer
v5 T__'8866'_14
v6
du_sub'45'refines_278 ::
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   AgdaAny -> AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Untyped.Relation.Binary.Structures.T_TermCompatible_30 ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   Maybe MAlonzo.Code.Untyped.T__'8866'_14) ->
  (Integer ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Untyped.T__'8866'_14 ->
   MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> AgdaAny) ->
  Integer -> MAlonzo.Code.Untyped.T__'8866'_14 -> AgdaAny
du_sub'45'refines_278 :: (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_sub'45'refines_278 Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0 T_TermCompatible_30
v1 Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2 Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3 Integer
v4 T__'8866'_14
v5
  = 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
v6
        -> (T_TermCompatible_30 -> Integer -> T_Fin_10 -> Any)
-> T_TermCompatible_30 -> Integer -> T_Fin_10 -> Any
forall a b. a -> b
coe
             T_TermCompatible_30 -> Integer -> T_Fin_10 -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'var_96
             T_TermCompatible_30
v1 Integer
v4 T_Fin_10
v6
      MAlonzo.Code.Untyped.C_ƛ_20 T__'8866'_14
v6
        -> (T_TermCompatible_30
 -> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any)
-> T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'ƛ_104
             T_TermCompatible_30
v1 Integer
v4 T__'8866'_14
v6
             ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68
                ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe 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 -> Any
forall a b. a -> b
coe Integer
v4)) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''63''45'refines_270 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3)
                ((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
v4)) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
      MAlonzo.Code.Untyped.C__'183'__22 T__'8866'_14
v6 T__'8866'_14
v7
        -> (T_TermCompatible_30
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45''183'_106
             T_TermCompatible_30
v1 Integer
v4 T__'8866'_14
v6 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6)) T__'8866'_14
v7
             ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v7))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''63''45'refines_270 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''63''45'refines_270 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v7))
      MAlonzo.Code.Untyped.C_force_24 T__'8866'_14
v6
        -> (T_TermCompatible_30
 -> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any)
-> T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'force_108
             T_TermCompatible_30
v1 Integer
v4 T__'8866'_14
v6 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''63''45'refines_270 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
      MAlonzo.Code.Untyped.C_delay_26 T__'8866'_14
v6
        -> (T_TermCompatible_30
 -> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any)
-> T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer -> T__'8866'_14 -> T__'8866'_14 -> Any -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'delay_110
             T_TermCompatible_30
v1 Integer
v4 T__'8866'_14
v6 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''63''45'refines_270 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
      MAlonzo.Code.Untyped.C_con_28 T_TmCon_202
v6
        -> (T_TermCompatible_30 -> T_TmCon_202 -> Integer -> Any)
-> T_TermCompatible_30 -> T_TmCon_202 -> Integer -> Any
forall a b. a -> b
coe
             T_TermCompatible_30 -> T_TmCon_202 -> Integer -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'con_138
             T_TermCompatible_30
v1 T_TmCon_202
v6 Integer
v4
      MAlonzo.Code.Untyped.C_constr_34 Integer
v6 [T__'8866'_14]
v7
        -> (T_TermCompatible_30
 -> Integer
 -> Integer
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> T_Pointwise_20
 -> Any)
-> T_TermCompatible_30
-> Integer
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer
-> Integer
-> [T__'8866'_14]
-> [T__'8866'_14]
-> T_Pointwise_20
-> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'constr_120
             T_TermCompatible_30
v1 Integer
v4 Integer
v6 [T__'8866'_14]
v7 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''63''42'__74 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) ([T__'8866'_14] -> [T__'8866'_14]
forall a b. a -> b
coe [T__'8866'_14]
v7))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> [T__'8866'_14]
 -> T_Pointwise_20)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
du_'8593''63''42''45'refines_276 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2)
                ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3) (Integer -> Any
forall a b. a -> b
coe Integer
v4) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v7))
      MAlonzo.Code.Untyped.C_case_40 T__'8866'_14
v6 [T__'8866'_14]
v7
        -> (T_TermCompatible_30
 -> Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> [T__'8866'_14]
 -> [T__'8866'_14]
 -> Any
 -> T_Pointwise_20
 -> Any)
-> T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Any
-> Any
-> Any
forall a b. a -> b
coe
             T_TermCompatible_30
-> Integer
-> T__'8866'_14
-> T__'8866'_14
-> [T__'8866'_14]
-> [T__'8866'_14]
-> Any
-> T_Pointwise_20
-> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'case_132
             T_TermCompatible_30
v1 Integer
v4 T__'8866'_14
v6 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> T__'8866'_14
d__'8593''63'__68 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> T__'8866'_14
forall a b. a -> b
coe T__'8866'_14
v6)) [T__'8866'_14]
v7
             ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> [T__'8866'_14] -> [T__'8866'_14]
d__'8593''63''42'__74 ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> Integer -> T__'8866'_14 -> Maybe T__'8866'_14
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) (Integer -> Integer
forall a b. a -> b
coe Integer
v4) ([T__'8866'_14] -> [T__'8866'_14]
forall a b. a -> b
coe [T__'8866'_14]
v7))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> T__'8866'_14
 -> Any)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> T__'8866'_14
-> Any
du_'8593''63''45'refines_270 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2) ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3)
                (Integer -> Any
forall a b. a -> b
coe Integer
v4) (T__'8866'_14 -> Any
forall a b. a -> b
coe T__'8866'_14
v6))
             (((Integer
  -> T__'8866'_14
  -> T__'8866'_14
  -> T__'8866'_14
  -> Any
  -> Any
  -> Any)
 -> T_TermCompatible_30
 -> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
 -> (Integer
     -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
 -> Integer
 -> [T__'8866'_14]
 -> T_Pointwise_20)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                (Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> T_TermCompatible_30
-> (Integer -> T__'8866'_14 -> Maybe T__'8866'_14)
-> (Integer
    -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Integer
-> [T__'8866'_14]
-> T_Pointwise_20
du_'8593''63''42''45'refines_276 ((Integer
 -> T__'8866'_14
 -> T__'8866'_14
 -> T__'8866'_14
 -> Any
 -> Any
 -> Any)
-> Any
forall a b. a -> b
coe Integer
-> T__'8866'_14
-> T__'8866'_14
-> T__'8866'_14
-> Any
-> Any
-> Any
v0) (T_TermCompatible_30 -> Any
forall a b. a -> b
coe T_TermCompatible_30
v1) ((Integer -> T__'8866'_14 -> Maybe T__'8866'_14) -> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> Maybe T__'8866'_14
v2)
                ((Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any)
-> Any
forall a b. a -> b
coe Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> Any
v3) (Integer -> Any
forall a b. a -> b
coe Integer
v4) ([T__'8866'_14] -> Any
forall a b. a -> b
coe [T__'8866'_14]
v7))
      MAlonzo.Code.Untyped.C_builtin_44 T_Builtin_2
v6
        -> (T_TermCompatible_30 -> Integer -> T_Builtin_2 -> Any)
-> T_TermCompatible_30 -> Integer -> T_Builtin_2 -> Any
forall a b. a -> b
coe
             T_TermCompatible_30 -> Integer -> T_Builtin_2 -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'builtin_144
             T_TermCompatible_30
v1 Integer
v4 T_Builtin_2
v6
      T__'8866'_14
MAlonzo.Code.Untyped.C_error_46
        -> (T_TermCompatible_30 -> Integer -> Any)
-> T_TermCompatible_30 -> Integer -> Any
forall a b. a -> b
coe
             T_TermCompatible_30 -> Integer -> Any
MAlonzo.Code.Untyped.Relation.Binary.Structures.d_compat'45'error_148
             T_TermCompatible_30
v1 Integer
v4
      T__'8866'_14
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError