diff --git a/plutus-metatheory/src/Algorithmic/Completeness.lagda.md b/plutus-metatheory/src/Algorithmic/Completeness.lagda.md index af682c7a06b..c795cb2c4a5 100644 --- a/plutus-metatheory/src/Algorithmic/Completeness.lagda.md +++ b/plutus-metatheory/src/Algorithmic/Completeness.lagda.md @@ -25,9 +25,10 @@ open import Type.Equality using (_≡β_;≡2β) open _≡β_ open import Type.RenamingSubstitution using (weaken;ren;_[_];sub-cons;Sub;sub;sub∅;sub-cong) open import Builtin using (signature) -open import Builtin.Signature using (Sig;sig;_⊢♯;_/_⊢⋆;mkCtx⋆) -open _/_⊢⋆ +open import Builtin.Signature using (Sig;sig;_⊢♯;_⊢⋆;mkCtx⋆) +open _⊢⋆ open import Builtin.Constant.Type +open import Data.Sum using (_⊎_;inj₁;inj₂) import Declarative as Syn import Algorithmic as Norm @@ -146,11 +147,11 @@ helper (_⊢♯.list x) = cong ne (cong (^ list ·_) (helper x)) helper (_⊢♯.array x) = cong ne (cong (^ array ·_) (helper x)) helper (_⊢♯.pair x y) = cong ne (cong₂ (λ x y → ^ pair · x · y) (helper x) (helper y)) -mkTy-lem : ∀ {n⋆ n♯}(t : n⋆ / n♯ ⊢⋆) → Norm.mkTy t ≡ nf (Syn.mkTy t) -mkTy-lem (` x) = refl -mkTy-lem (x ↑) = cong con (helper x) +mkTy-lem : ∀ {n⋆ n♯}(t : n⋆ ⊢⋆ ⊎ n♯ ⊢♯) → Norm.mkTy t ≡ nf (Syn.mkTy t) +mkTy-lem (inj₁ (` x)) = refl +mkTy-lem (inj₂ x) = cong con (helper x) -sig2type⇒-lem : ∀{n⋆ n♯}{algRes}{synRes} (args : List (n⋆ / n♯ ⊢⋆)) → (algRes ≡ nf synRes) → +sig2type⇒-lem : ∀{n⋆ n♯}{algRes}{synRes} (args : List (n⋆ ⊢⋆ ⊎ n♯ ⊢♯)) → (algRes ≡ nf synRes) → Norm.sig2type⇒ args algRes ≡ nf (Syn.sig2type⇒ args synRes) sig2type⇒-lem [] p = p sig2type⇒-lem (x ∷ args) p = sig2type⇒-lem args (cong₂ _⇒_ (mkTy-lem x) p) diff --git a/plutus-metatheory/src/Builtin.lagda.md b/plutus-metatheory/src/Builtin.lagda.md index 0940d0c72a2..20ee6191879 100644 --- a/plutus-metatheory/src/Builtin.lagda.md +++ b/plutus-metatheory/src/Builtin.lagda.md @@ -36,11 +36,12 @@ open import Agda.Builtin.Int using (Int) open import Agda.Builtin.String using (String) open import Utils using (ByteString;Maybe;DATA;Bls12-381-G1-Element;Bls12-381-G2-Element;Bls12-381-MlResult;♯) import Utils as U -open import Builtin.Signature using (Sig;sig;_⊢♯;_/_⊢⋆;Args) +open import Builtin.Signature using (Sig;sig;_⊢♯;_⊢⋆;Args;_↑) using (integer;string;bytestring;unit;bool;pdata;bls12-381-g1-element;bls12-381-g2-element;bls12-381-mlresult) open _⊢♯ renaming (pair to bpair; list to blist; array to barray) -open _/_⊢⋆ +open _⊢⋆ open import Builtin.Constant.AtomicType +open import Data.Sum using (_⊎_;inj₁;inj₂) open import Utils.Reflection using (defDec;defShow;defEnum;defListConstructors) ``` @@ -202,11 +203,11 @@ hence need to be embedded into `n⋆ / n♯ ⊢⋆` using the postfix constructo ∀A,a = (1 ,, 1) -- names for type variables of kind ⋆ - A : ∀{n⋆ n♯} → suc n⋆ / n♯ ⊢⋆ - A = ` Z + A : ∀{n⋆ n♯} → suc n⋆ ⊢⋆ ⊎ n♯ ⊢♯ + A = inj₁ (` Z) - B : ∀{n⋆ n♯} → suc (suc n⋆) / n♯ ⊢⋆ - B = ` (S Z) + B : ∀{n⋆ n♯} → suc (suc n⋆) ⊢⋆ ⊎ n♯ ⊢♯ + B = inj₁ (` (S Z)) -- names for type variables of kind ♯ a : ∀{n♯} → suc n♯ ⊢♯ @@ -215,14 +216,14 @@ hence need to be embedded into `n⋆ / n♯ ⊢⋆` using the postfix constructo b : ∀{n♯} → suc (suc n♯) ⊢♯ b = ` (S Z) - pair : ∀{n⋆ n♯} → n♯ ⊢♯ → n♯ ⊢♯ → n⋆ / n♯ ⊢⋆ - pair a b = (bpair a b) ↑ + pair : ∀{n⋆ n♯} → n♯ ⊢♯ → n♯ ⊢♯ → n⋆ ⊢⋆ ⊎ n♯ ⊢♯ + pair a b = bpair a b ↑ - list : ∀{n⋆ n♯} → n♯ ⊢♯ → n⋆ / n♯ ⊢⋆ - list a = (blist a) ↑ + list : ∀{n⋆ n♯} → n♯ ⊢♯ → n⋆ ⊢⋆ ⊎ n♯ ⊢♯ + list a = blist a ↑ - array : ∀{n⋆ n♯} → n♯ ⊢♯ → n⋆ / n♯ ⊢⋆ - array a = (barray a) ↑ + array : ∀{n⋆ n♯} → n♯ ⊢♯ → n⋆ ⊢⋆ ⊎ n♯ ⊢♯ + array a = barray a ↑ ``` ### Operators for constructing signatures @@ -245,10 +246,10 @@ sig n⋆ n♯ (t₃ ∷ t₂ ∷ t₁) tᵣ ArgSet = Σ (ℕ × ℕ) (λ { (n⋆ ,, n♯) → Args n⋆ n♯}) ArgTy : ArgSet → Set - ArgTy ((n⋆ ,, n♯) ,, _) = n⋆ / n♯ ⊢⋆ + ArgTy ((n⋆ ,, n♯) ,, _) = n⋆ ⊢⋆ ⊎ n♯ ⊢♯ infix 12 _[_ - _[_ : (nn : ℕ × ℕ) → proj₁ nn / proj₂ nn ⊢⋆ → ArgSet + _[_ : (nn : ℕ × ℕ) → proj₁ nn ⊢⋆ ⊎ proj₂ nn ⊢♯ → ArgSet _[_ (n⋆ ,, n♯) x = (n⋆ ,, n♯) ,, [ x ] infixl 10 _,_ diff --git a/plutus-metatheory/src/Builtin/Signature.lagda.md b/plutus-metatheory/src/Builtin/Signature.lagda.md index 31610e5a8c6..a026011e306 100644 --- a/plutus-metatheory/src/Builtin/Signature.lagda.md +++ b/plutus-metatheory/src/Builtin/Signature.lagda.md @@ -32,6 +32,7 @@ open import Builtin.Constant.AtomicType using (AtomicTyCon;⟦_⟧at) open AtomicTyCon open import Builtin.Constant.Type using (TyCon) open TyCon +open import Data.Sum using (_⊎_; inj₁; inj₂) ``` ## Argument Types and Built-in Compatible Types @@ -47,11 +48,17 @@ or type operators applied to built-in-compatible type. The type of built-in-compatible types (_⊢♯) is indexed by the number of distinct type variables of kind ♯. ``` +data ∀ₜ : ℕ → Set where + ∀̬ : ∀ {n} + → Fin n + -------- + → ∀ₜ n + -- Builtin compatible types of kind ♯ data _⊢♯ : ℕ → Set where -- a type variable - ` : ∀ {n♯} → - Fin n♯ + ` : ∀ {n♯} + → ∀ₜ n♯ -------- → n♯ ⊢♯ @@ -75,18 +82,15 @@ data _⊢♯ : ℕ → Set where ------- → n♯ ⊢♯ --- argument types are either a variable of kind * or a builtin compatible type -data _/_⊢⋆ : ℕ → ℕ → Set where +data _⊢⋆ : ℕ → Set where -- a type variable of kind * - ` : ∀ {n⋆ n♯} → - Fin n⋆ + ` : ∀ {n⋆} + → ∀ₜ n⋆ -------- - → n⋆ / n♯ ⊢⋆ - -- a builtin compatible type - _↑ : ∀ {n⋆ n♯} → - n♯ ⊢♯ - ------- - → n⋆ / n♯ ⊢⋆ + → n⋆ ⊢⋆ + +_↑ : ∀{n⋆ n♯} → n♯ ⊢♯ → n⋆ ⊢⋆ ⊎ n♯ ⊢♯ +_↑ = inj₂ pattern integer = atomic aInteger pattern bytestring = atomic aBytestring @@ -106,7 +110,7 @@ of kind ♯ and kind * that may appear. ``` Args : ℕ → ℕ → Set -Args n⋆ n♯ = List⁺ (n⋆ / n♯ ⊢⋆) +Args n⋆ n♯ = List⁺ (∀ₜ n⋆ ⊎ ∀ₜ n♯ ⊎ n⋆ ⊢⋆ ⊎ n♯ ⊢♯) ``` @@ -115,7 +119,7 @@ A Universe for return types. ``` data _/_⊢r⋆ : ℕ → ℕ → Set where argtype : ∀ {n⋆ n♯} → - n⋆ / n♯ ⊢⋆ + n⋆ ⊢⋆ ⊎ n♯ ⊢♯ -------- → n⋆ / n♯ ⊢r⋆ @@ -141,7 +145,7 @@ record Sig : Set where -- list of arguments args : Args fv⋆ fv♯ -- type of result - result : fv⋆ / fv♯ ⊢⋆ + result : fv⋆ ⊢⋆ ⊎ fv♯ ⊢♯ open Sig @@ -220,15 +224,21 @@ module FromSig (Ty : Ctx⋆ → Kind → Set) ``` ⊢♯2TyNe♯ : ∀{n⋆ n♯} → n♯ ⊢♯ → TyNe (mkCtx⋆ n⋆ n♯) ♯ - ⊢♯2TyNe♯ (` x) = var (fin♯2∋⋆ x) + ⊢♯2TyNe♯ (` (∀̬ x)) = var (fin♯2∋⋆ x) ⊢♯2TyNe♯ (atomic x) = ^ (atomic x) ⊢♯2TyNe♯ (list x) = ^ list · ne (⊢♯2TyNe♯ x) ⊢♯2TyNe♯ (array x) = ^ array · ne (⊢♯2TyNe♯ x) ⊢♯2TyNe♯ (pair x y) = ((^ pair) · ne (⊢♯2TyNe♯ x)) · ne (⊢♯2TyNe♯ y) - mkTy : ∀{n⋆ n♯} → n⋆ / n♯ ⊢⋆ → Ty (mkCtx⋆ n⋆ n♯) * - mkTy (` x) = ne (var (fin⋆2∋⋆ x)) - mkTy (x ↑) = mkCon (ne (⊢♯2TyNe♯ x)) + mkTy : ∀{n⋆ n♯} → ∀ₜ n⋆ ⊎ ∀ₜ n♯ ⊎ n⋆ ⊢⋆ ⊎ n♯ ⊢♯ → Ty (mkCtx⋆ n⋆ n♯) * + mkTy (inj₁ (∀̬ x)) = {! !} + mkTy (inj₂ (inj₁ (∀̬ x))) = {! !} + mkTy (inj₂ (inj₂ (inj₁ (` (∀̬ x))))) = ne (var (fin⋆2∋⋆ x)) + mkTy (inj₂ (inj₂ (inj₂ x))) = mkCon (ne (⊢♯2TyNe♯ x)) + + mkResTy : ∀{n⋆ n♯} → n⋆ ⊢⋆ ⊎ n♯ ⊢♯ → Ty (mkCtx⋆ n⋆ n♯) * + mkResTy (inj₁ (` (∀̬ x))) = ne (var (fin⋆2∋⋆ x)) + mkResTy (inj₂ x) = mkCon (ne (⊢♯2TyNe♯ x)) ``` `sig2type⇒` takes a list of arguments and a result type, and produces @@ -239,7 +249,7 @@ module FromSig (Ty : Ctx⋆ → Kind → Set) ``` sig2type⇒ : ∀{n⋆ n♯} - → List (n⋆ / n♯ ⊢⋆) + → List (∀ₜ n⋆ ⊎ ∀ₜ n♯ ⊎ n⋆ ⊢⋆ ⊎ n♯ ⊢♯) → Ty (mkCtx⋆ n⋆ n♯) * → Ty (mkCtx⋆ n⋆ n♯) * sig2type⇒ [] r = r sig2type⇒ (a ∷ as) r = sig2type⇒ as (mkTy a ⇒ r) @@ -258,7 +268,7 @@ module FromSig (Ty : Ctx⋆ → Kind → Set) ``` sig2type : Sig → Ty ∅ * - sig2type (sig fv⋆ fv♯ as res) = sig2typeΠ (sig2type⇒ (toList as) (mkTy res)) + sig2type (sig fv⋆ fv♯ as res) = sig2typeΠ (sig2type⇒ (toList as) (mkResTy res)) ``` ### Types originating from a Signature @@ -307,7 +317,7 @@ Every type obtained from a Signature σ using sig2type is a SigType. -- Additionally we could ask for the following condition to hold -- → (pn : n⋆ + n♯ ≡ tt) → {pt : tt ∔ 0 ≣ tt} - → (as : List (n⋆ / n♯ ⊢⋆)) + → (as : List (∀ₜ n⋆ ⊎ ∀ₜ n♯ ⊎ n⋆ ⊢⋆ ⊎ n♯ ⊢♯)) → ∀ {am at}(pa : length as ∔ am ≣ at) → {A : Ty (mkCtx⋆ n⋆ n♯) *} → (σA : SigTy pt pa A) → SigTy pt (start at) (sig2type⇒ as A) @@ -327,7 +337,7 @@ Every type obtained from a Signature σ using sig2type is a SigType. -- From a signature obtain a signature type sig2SigTy : (σ : Sig) → SigTy (start (fv σ)) (start (args♯ σ)) (sig2type σ) sig2SigTy (sig n⋆ n♯ as r) = - sig2SigTyΠ refl (alldone (n⋆ + n♯)) (sig2SigTy⇒ (toList as) (alldone (length⁺ as)) (bresult (mkTy r))) + sig2SigTyΠ refl (alldone (n⋆ + n♯)) (sig2SigTy⇒ (toList as) (alldone (length⁺ as)) (bresult (mkResTy r))) -- extract the concrete type from a signature type. sigTy2type : ∀{Φ tm tn tt an am at}{A : Ty Φ *} → {pt : tn ∔ tm ≣ tt} → {pa : an ∔ am ≣ at} → SigTy pt pa A → Ty Φ * @@ -348,5 +358,4 @@ Every type obtained from a Signature σ using sig2type is a SigType. → SigTy pt pa A → SigTy pt' pa' A' convSigTy {pt = pt} {pt'} {pa = pa} {pa'} refl sty rewrite unique∔ pt pt' | unique∔ pa pa' = sty --- -} ``` diff --git a/plutus-metatheory/src/MAlonzo/Code/Algorithmic.hs b/plutus-metatheory/src/MAlonzo/Code/Algorithmic.hs index c68153c304f..04b979f14df 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Algorithmic.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Algorithmic.hs @@ -100,7 +100,7 @@ d_sty2ty_84 v0 = coe MAlonzo.Code.Type.BetaNormal.C_ne_20 (coe - MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_186 + MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_184 (\ v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v3) (coe (\ v1 v2 v3 v4 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v4)) diff --git a/plutus-metatheory/src/MAlonzo/Code/Algorithmic/CEK.hs b/plutus-metatheory/src/MAlonzo/Code/Algorithmic/CEK.hs index 9bbb8d71e78..d03e8352a5e 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Algorithmic/CEK.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Algorithmic/CEK.hs @@ -62,27 +62,27 @@ d_convSigTy_8 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 d_convSigTy_8 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8 ~v9 ~v10 ~v11 ~v12 ~v13 ~v14 v15 = du_convSigTy_8 v15 du_convSigTy_8 :: - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 du_convSigTy_8 v0 = coe v0 -- Algorithmic.CEK._.saturatedSigTy d_saturatedSigTy_10 :: - MAlonzo.Code.Builtin.Signature.T_Sig_72 -> + MAlonzo.Code.Builtin.Signature.T_Sig_70 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> () d_saturatedSigTy_10 = erased -- Algorithmic.CEK._.sig2SigTy d_sig2SigTy_12 :: - MAlonzo.Code.Builtin.Signature.T_Sig_72 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_Sig_70 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 d_sig2SigTy_12 = coe - MAlonzo.Code.Builtin.Signature.du_sig2SigTy_398 + MAlonzo.Code.Builtin.Signature.du_sig2SigTy_396 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) @@ -95,11 +95,11 @@ d_sig2SigTy_12 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_Π_14 v1 v2) -- Algorithmic.CEK._.sig2type d_sig2type_14 :: - MAlonzo.Code.Builtin.Signature.T_Sig_72 -> + MAlonzo.Code.Builtin.Signature.T_Sig_70 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 d_sig2type_14 = coe - MAlonzo.Code.Builtin.Signature.du_sig2type_242 + MAlonzo.Code.Builtin.Signature.du_sig2type_240 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) @@ -118,7 +118,7 @@ d_'8866''9839'2TyNe'9839'_16 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Ne'8902'__6 d_'8866''9839'2TyNe'9839'_16 = coe - MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_186 + MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_184 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) @@ -136,7 +136,7 @@ data T_BApp_48 T_BApp_48 T_Value_52 | C__'36''36'__190 MAlonzo.Code.Utils.T_Kind_776 MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 - MAlonzo.Code.Builtin.Signature.T_SigTy_266 T_BApp_48 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 T_BApp_48 MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -- Algorithmic.CEK.Value d_Value_52 a0 = () @@ -149,11 +149,11 @@ data T_Value_52 C_V'45'I'8658'_106 MAlonzo.Code.Builtin.T_Builtin_2 Integer MAlonzo.Code.Utils.T__'8724'_'8803'__188 Integer Integer MAlonzo.Code.Utils.T__'8724'_'8803'__188 - MAlonzo.Code.Builtin.Signature.T_SigTy_266 T_BApp_48 | + MAlonzo.Code.Builtin.Signature.T_SigTy_264 T_BApp_48 | C_V'45'IΠ_128 MAlonzo.Code.Builtin.T_Builtin_2 Integer Integer MAlonzo.Code.Utils.T__'8724'_'8803'__188 Integer Integer MAlonzo.Code.Utils.T__'8724'_'8803'__188 - MAlonzo.Code.Builtin.Signature.T_SigTy_266 T_BApp_48 | + MAlonzo.Code.Builtin.Signature.T_SigTy_264 T_BApp_48 | C_V'45'constr_140 MAlonzo.Code.Data.Fin.Base.T_Fin_10 MAlonzo.Code.Utils.List.T_Bwd_6 MAlonzo.Code.Utils.List.T_IBwd_396 -- Algorithmic.CEK.VList @@ -407,7 +407,7 @@ d_dischargeB_296 :: Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> T_BApp_48 -> MAlonzo.Code.Algorithmic.T__'8866'__178 d_dischargeB_296 v0 ~v1 ~v2 v3 ~v4 ~v5 v6 ~v7 ~v8 v9 = du_dischargeB_296 v0 v3 v6 v9 @@ -480,7 +480,7 @@ d_dischargeStack_332 v0 v1 d_BUILTIN_368 :: MAlonzo.Code.Builtin.T_Builtin_2 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> T_BApp_48 -> MAlonzo.Code.Utils.T_Either_6 MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 T_Value_52 @@ -1489,7 +1489,7 @@ du_BUILTIN_368 v0 v1 (coe MAlonzo.Code.Utils.C_'9839'_780)) (coe MAlonzo.Code.Utils.C_'42'_778) (coe - MAlonzo.Code.Builtin.Signature.du_mkTy_204 + MAlonzo.Code.Builtin.Signature.du_mkTy_202 (\ v28 v29 v30 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 @@ -1513,7 +1513,7 @@ du_BUILTIN_368 v0 v1 v29) (coe (0 :: Integer)) (coe (1 :: Integer)) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.du_a_218))))) (coe MAlonzo.Code.Type.BetaNBE.du_idEnv_250))) @@ -3013,7 +3013,7 @@ d_BUILTIN''_1106 :: MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> T_BApp_48 -> MAlonzo.Code.Algorithmic.T__'8866'__178 d_BUILTIN''_1106 v0 v1 ~v2 ~v3 ~v4 ~v5 ~v6 v7 = du_BUILTIN''_1106 v0 v1 v7 @@ -3040,7 +3040,7 @@ d_V'45'I_1182 :: Integer -> Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> T_BApp_48 -> T_Value_52 d_V'45'I_1182 v0 ~v1 v2 v3 v4 v5 v6 v7 v8 v9 = du_V'45'I_1182 v0 v2 v3 v4 v5 v6 v7 v8 v9 @@ -3052,18 +3052,18 @@ du_V'45'I_1182 :: Integer -> Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> T_BApp_48 -> T_Value_52 du_V'45'I_1182 v0 v1 v2 v3 v4 v5 v6 v7 v8 = case coe v2 of 0 -> case coe v7 of - MAlonzo.Code.Builtin.Signature.C__B'8658'__302 v17 v18 v19 + MAlonzo.Code.Builtin.Signature.C__B'8658'__300 v17 v18 v19 -> coe C_V'45'I'8658'_106 v0 v1 v3 v4 v5 v6 v19 v8 _ -> MAlonzo.RTE.mazUnreachableError _ -> let v9 = subInt (coe v2) (coe (1 :: Integer)) in coe (case coe v7 of - MAlonzo.Code.Builtin.Signature.C_sucΠ_326 v19 v20 v21 + MAlonzo.Code.Builtin.Signature.C_sucΠ_324 v19 v20 v21 -> coe C_V'45'IΠ_128 v0 v1 v9 v3 v4 v5 v6 v21 v8 _ -> MAlonzo.RTE.mazUnreachableError) -- Algorithmic.CEK.Error @@ -3109,7 +3109,7 @@ d_ival_1326 v0 = coe du_V'45'I_1182 (coe v0) (coe (0 :: Integer)) (coe - MAlonzo.Code.Builtin.Signature.d_fv_96 + MAlonzo.Code.Builtin.Signature.d_fv_94 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v0))) (coe MAlonzo.Code.Utils.C_start_192) (coe (0 :: Integer)) (coe @@ -3120,11 +3120,11 @@ d_ival_1326 v0 (coe MAlonzo.Code.Data.List.NonEmpty.Base.d_tail_32 (coe - MAlonzo.Code.Builtin.Signature.d_args_86 + MAlonzo.Code.Builtin.Signature.d_args_84 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v0))))) (coe MAlonzo.Code.Utils.C_start_192) (coe - MAlonzo.Code.Builtin.Signature.du_sig2SigTy_398 + MAlonzo.Code.Builtin.Signature.du_sig2SigTy_396 (\ v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v3) (coe (\ v1 v2 v3 v4 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v4)) diff --git a/plutus-metatheory/src/MAlonzo/Code/Algorithmic/Completeness.hs b/plutus-metatheory/src/MAlonzo/Code/Algorithmic/Completeness.hs index 91066306bd0..963e893dc21 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Algorithmic/Completeness.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Algorithmic/Completeness.hs @@ -23,6 +23,7 @@ import qualified MAlonzo.Code.Agda.Builtin.Sigma import qualified MAlonzo.Code.Algorithmic import qualified MAlonzo.Code.Builtin import qualified MAlonzo.Code.Builtin.Signature +import qualified MAlonzo.Code.Data.Sum.Base import qualified MAlonzo.Code.Data.Vec.Base import qualified MAlonzo.Code.Declarative import qualified MAlonzo.Code.Type @@ -179,7 +180,7 @@ d_helper_148 = erased d_mkTy'45'lem_176 :: Integer -> Integer -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 -> + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 d_mkTy'45'lem_176 = erased -- Algorithmic.Completeness.sig2type⇒-lem @@ -188,7 +189,7 @@ d_sig2type'8658''45'lem_192 :: Integer -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Type.T__'8866''8902'__20 -> - [MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26] -> + [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 d_sig2type'8658''45'lem_192 = erased @@ -203,7 +204,7 @@ d_sig2typeΠ'45'lem_210 :: d_sig2typeΠ'45'lem_210 = erased -- Algorithmic.Completeness.sig2type-lem d_sig2type'45'lem_226 :: - MAlonzo.Code.Builtin.Signature.T_Sig_72 -> + MAlonzo.Code.Builtin.Signature.T_Sig_70 -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 d_sig2type'45'lem_226 = erased -- Algorithmic.Completeness.btype-lem diff --git a/plutus-metatheory/src/MAlonzo/Code/Algorithmic/ReductionEC.hs b/plutus-metatheory/src/MAlonzo/Code/Algorithmic/ReductionEC.hs index 341081f701d..7014ea40687 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Algorithmic/ReductionEC.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Algorithmic/ReductionEC.hs @@ -53,27 +53,27 @@ d_convSigTy_8 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 d_convSigTy_8 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8 ~v9 ~v10 ~v11 ~v12 ~v13 ~v14 v15 = du_convSigTy_8 v15 du_convSigTy_8 :: - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 du_convSigTy_8 v0 = coe v0 -- Algorithmic.ReductionEC._.saturatedSigTy d_saturatedSigTy_10 :: - MAlonzo.Code.Builtin.Signature.T_Sig_72 -> + MAlonzo.Code.Builtin.Signature.T_Sig_70 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> () d_saturatedSigTy_10 = erased -- Algorithmic.ReductionEC._.sig2SigTy d_sig2SigTy_12 :: - MAlonzo.Code.Builtin.Signature.T_Sig_72 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_Sig_70 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 d_sig2SigTy_12 = coe - MAlonzo.Code.Builtin.Signature.du_sig2SigTy_398 + MAlonzo.Code.Builtin.Signature.du_sig2SigTy_396 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) @@ -86,11 +86,11 @@ d_sig2SigTy_12 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_Π_14 v1 v2) -- Algorithmic.ReductionEC._.sig2type d_sig2type_14 :: - MAlonzo.Code.Builtin.Signature.T_Sig_72 -> + MAlonzo.Code.Builtin.Signature.T_Sig_70 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 d_sig2type_14 = coe - MAlonzo.Code.Builtin.Signature.du_sig2type_242 + MAlonzo.Code.Builtin.Signature.du_sig2type_240 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) @@ -113,7 +113,7 @@ d_sigTy2type_16 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 d_sigTy2type_16 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 v7 ~v8 ~v9 ~v10 = du_sigTy2type_16 v7 @@ -129,11 +129,11 @@ data T_Value_28 C_V'45'I'8658'_184 MAlonzo.Code.Builtin.T_Builtin_2 Integer MAlonzo.Code.Utils.T__'8724'_'8803'__188 Integer Integer MAlonzo.Code.Utils.T__'8724'_'8803'__188 - MAlonzo.Code.Builtin.Signature.T_SigTy_266 T_BApp_74 | + MAlonzo.Code.Builtin.Signature.T_SigTy_264 T_BApp_74 | C_V'45'IΠ_208 MAlonzo.Code.Builtin.T_Builtin_2 Integer Integer MAlonzo.Code.Utils.T__'8724'_'8803'__188 Integer Integer MAlonzo.Code.Utils.T__'8724'_'8803'__188 - MAlonzo.Code.Builtin.Signature.T_SigTy_266 T_BApp_74 | + MAlonzo.Code.Builtin.Signature.T_SigTy_264 T_BApp_74 | C_V'45'constr_234 MAlonzo.Code.Utils.List.T_Bwd_6 MAlonzo.Code.Utils.List.T_IBwd_396 MAlonzo.Code.Utils.List.T_IIBwd_832 @@ -177,7 +177,7 @@ du_deval'45'VecList_48 v0 d_BApp_74 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 = () data T_BApp_74 = C_base_78 | C_step_100 T_BApp_74 T_Value_28 | - C_step'8902'_130 MAlonzo.Code.Builtin.Signature.T_SigTy_266 + C_step'8902'_130 MAlonzo.Code.Builtin.Signature.T_SigTy_264 T_BApp_74 -- Algorithmic.ReductionEC.red2cekVal d_red2cekVal_240 :: @@ -314,7 +314,7 @@ d_red2cekBApp_266 :: MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Algorithmic.T__'8866'__178 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> T_BApp_74 -> MAlonzo.Code.Algorithmic.CEK.T_BApp_48 d_red2cekBApp_266 ~v0 ~v1 ~v2 ~v3 v4 ~v5 ~v6 ~v7 v8 ~v9 v10 ~v11 v12 @@ -380,7 +380,7 @@ d_BUILTIN''_326 :: MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> T_BApp_74 -> MAlonzo.Code.Algorithmic.T__'8866'__178 d_BUILTIN''_326 v0 v1 v2 ~v3 v4 ~v5 v6 ~v7 v8 = du_BUILTIN''_326 v0 v1 v2 v4 v6 v8 @@ -659,7 +659,7 @@ data T__'8212''8594''8902'__652 C_β'45'builtin_720 Integer MAlonzo.Code.Builtin.T_Builtin_2 MAlonzo.Code.Utils.T__'8724'_'8803'__188 Integer MAlonzo.Code.Utils.T__'8724'_'8803'__188 - MAlonzo.Code.Builtin.Signature.T_SigTy_266 T_BApp_74 T_Value_28 | + MAlonzo.Code.Builtin.Signature.T_SigTy_264 T_BApp_74 T_Value_28 | C_β'45'case_746 MAlonzo.Code.Utils.List.T_Bwd_6 MAlonzo.Code.Utils.List.T_IBwd_396 MAlonzo.Code.Utils.List.T_IIBwd_832 @@ -688,7 +688,7 @@ d_V'45'I_818 :: Integer -> Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> MAlonzo.Code.Algorithmic.T__'8866'__178 -> T_BApp_74 -> T_Value_28 d_V'45'I_818 v0 ~v1 v2 v3 v4 v5 v6 v7 v8 ~v9 v10 = du_V'45'I_818 v0 v2 v3 v4 v5 v6 v7 v8 v10 @@ -700,18 +700,18 @@ du_V'45'I_818 :: Integer -> Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> T_BApp_74 -> T_Value_28 du_V'45'I_818 v0 v1 v2 v3 v4 v5 v6 v7 v8 = case coe v2 of 0 -> case coe v7 of - MAlonzo.Code.Builtin.Signature.C__B'8658'__302 v17 v18 v19 + MAlonzo.Code.Builtin.Signature.C__B'8658'__300 v17 v18 v19 -> coe C_V'45'I'8658'_184 v0 v1 v3 v4 v5 v6 v19 v8 _ -> MAlonzo.RTE.mazUnreachableError _ -> let v9 = subInt (coe v2) (coe (1 :: Integer)) in coe (case coe v7 of - MAlonzo.Code.Builtin.Signature.C_sucΠ_326 v19 v20 v21 + MAlonzo.Code.Builtin.Signature.C_sucΠ_324 v19 v20 v21 -> coe C_V'45'IΠ_208 v0 v1 v9 v3 v4 v5 v6 v21 v8 _ -> MAlonzo.RTE.mazUnreachableError) -- Algorithmic.ReductionEC.ival @@ -720,7 +720,7 @@ d_ival_838 v0 = coe du_V'45'I_818 (coe v0) (coe (0 :: Integer)) (coe - MAlonzo.Code.Builtin.Signature.d_fv_96 + MAlonzo.Code.Builtin.Signature.d_fv_94 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v0))) (coe MAlonzo.Code.Utils.C_start_192) (coe (0 :: Integer)) (coe @@ -731,11 +731,11 @@ d_ival_838 v0 (coe MAlonzo.Code.Data.List.NonEmpty.Base.d_tail_32 (coe - MAlonzo.Code.Builtin.Signature.d_args_86 + MAlonzo.Code.Builtin.Signature.d_args_84 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v0))))) (coe MAlonzo.Code.Utils.C_start_192) (coe - MAlonzo.Code.Builtin.Signature.du_sig2SigTy_398 + MAlonzo.Code.Builtin.Signature.du_sig2SigTy_396 (\ v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v3) (coe (\ v1 v2 v3 v4 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v4)) diff --git a/plutus-metatheory/src/MAlonzo/Code/Algorithmic/Signature.hs b/plutus-metatheory/src/MAlonzo/Code/Algorithmic/Signature.hs index 3ad52e5b8d0..e02ff689407 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Algorithmic/Signature.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Algorithmic/Signature.hs @@ -20,6 +20,7 @@ import qualified Data.Text import qualified MAlonzo.Code.Agda.Builtin.Equality import qualified MAlonzo.Code.Builtin import qualified MAlonzo.Code.Builtin.Signature +import qualified MAlonzo.Code.Data.Sum.Base import qualified MAlonzo.Code.Type import qualified MAlonzo.Code.Type.BetaNBE import qualified MAlonzo.Code.Type.BetaNBE.RenamingSubstitution @@ -46,24 +47,24 @@ d_convSigTy_8 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 d_convSigTy_8 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8 ~v9 ~v10 ~v11 ~v12 ~v13 ~v14 v15 = du_convSigTy_8 v15 du_convSigTy_8 :: - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 du_convSigTy_8 v0 = coe v0 -- Algorithmic.Signature._.mkTy d_mkTy_10 :: Integer -> Integer -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 -> + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 d_mkTy_10 = coe - MAlonzo.Code.Builtin.Signature.du_mkTy_204 + MAlonzo.Code.Builtin.Signature.du_mkTy_202 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) @@ -73,11 +74,11 @@ d_mkTy_10 (\ v0 v1 -> coe MAlonzo.Code.Type.BetaNormal.C_con_22 v1) -- Algorithmic.Signature._.sig2type d_sig2type_12 :: - MAlonzo.Code.Builtin.Signature.T_Sig_72 -> + MAlonzo.Code.Builtin.Signature.T_Sig_70 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 d_sig2type_12 = coe - MAlonzo.Code.Builtin.Signature.du_sig2type_242 + MAlonzo.Code.Builtin.Signature.du_sig2type_240 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) @@ -96,18 +97,18 @@ d_sig2typeΠ_14 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 d_sig2typeΠ_14 = coe - MAlonzo.Code.Builtin.Signature.du_sig2typeΠ_228 + MAlonzo.Code.Builtin.Signature.du_sig2typeΠ_226 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_Π_14 v1 v2) -- Algorithmic.Signature._.sig2type⇒ d_sig2type'8658'_16 :: Integer -> Integer -> - [MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26] -> + [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 d_sig2type'8658'_16 = coe - MAlonzo.Code.Builtin.Signature.du_sig2type'8658'_214 + MAlonzo.Code.Builtin.Signature.du_sig2type'8658'_212 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) @@ -129,7 +130,7 @@ d_sigTy2type_18 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 d_sigTy2type_18 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 v7 ~v8 ~v9 ~v10 = du_sigTy2type_18 v7 @@ -145,7 +146,7 @@ d_'8866''9839'2TyNe'9839'_20 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Ne'8902'__6 d_'8866''9839'2TyNe'9839'_20 = coe - MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_186 + MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_184 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) @@ -162,7 +163,7 @@ d_btype_30 v0 v1 MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.d_subNf'8709'_566 (coe v0) (coe MAlonzo.Code.Utils.C_'42'_778) (coe - MAlonzo.Code.Builtin.Signature.du_sig2type_242 + MAlonzo.Code.Builtin.Signature.du_sig2type_240 (\ v2 v3 v4 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v4) (coe (\ v2 v3 v4 v5 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v5)) @@ -221,8 +222,8 @@ d_subSigTy_108 :: Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 d_subSigTy_108 v0 v1 v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8 ~v9 ~v10 ~v11 v12 = du_subSigTy_108 v0 v1 v2 v12 du_subSigTy_108 :: @@ -231,15 +232,15 @@ du_subSigTy_108 :: (MAlonzo.Code.Utils.T_Kind_776 -> MAlonzo.Code.Type.T__'8715''8902'__14 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4) -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 du_subSigTy_108 v0 v1 v2 v3 = case coe v3 of - MAlonzo.Code.Builtin.Signature.C_bresult_280 - -> coe MAlonzo.Code.Builtin.Signature.C_bresult_280 - MAlonzo.Code.Builtin.Signature.C__B'8658'__302 v12 v13 v14 + MAlonzo.Code.Builtin.Signature.C_bresult_278 + -> coe MAlonzo.Code.Builtin.Signature.C_bresult_278 + MAlonzo.Code.Builtin.Signature.C__B'8658'__300 v12 v13 v14 -> coe - MAlonzo.Code.Builtin.Signature.C__B'8658'__302 + MAlonzo.Code.Builtin.Signature.C__B'8658'__300 (MAlonzo.Code.Type.BetaNBE.RenamingSubstitution.d_subNf_104 (coe v0) (coe v1) (coe v2) (coe MAlonzo.Code.Utils.C_'42'_778) (coe v12)) @@ -260,9 +261,9 @@ du_subSigTy_108 v0 v1 v2 v3 (coe MAlonzo.Code.Utils.C_'42'_778) (coe v13))) (coe MAlonzo.Code.Type.BetaNBE.du_idEnv_250))) (coe du_subSigTy_108 (coe v0) (coe v1) (coe v2) (coe v14)) - MAlonzo.Code.Builtin.Signature.C_sucΠ_326 v13 v14 v15 + MAlonzo.Code.Builtin.Signature.C_sucΠ_324 v13 v14 v15 -> coe - MAlonzo.Code.Builtin.Signature.C_sucΠ_326 v13 + MAlonzo.Code.Builtin.Signature.C_sucΠ_324 v13 (MAlonzo.Code.Type.BetaNBE.d_eval_166 (coe MAlonzo.Code.Type.C__'44''8902'__6 (coe v1) (coe v13)) (coe MAlonzo.Code.Type.C__'44''8902'__6 (coe v1) (coe v13)) @@ -311,18 +312,18 @@ d__'91'_'93'SigTy_150 :: Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 d__'91'_'93'SigTy_150 v0 v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8 ~v9 ~v10 v11 v12 = du__'91'_'93'SigTy_150 v0 v1 v11 v12 du__'91'_'93'SigTy_150 :: MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 du__'91'_'93'SigTy_150 v0 v1 v2 v3 = coe du_subSigTy_108 @@ -348,7 +349,7 @@ d_uniqueSigTy_180 :: MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 d_uniqueSigTy_180 = erased diff --git a/plutus-metatheory/src/MAlonzo/Code/Builtin.hs b/plutus-metatheory/src/MAlonzo/Code/Builtin.hs index 426470a0d5f..b7fe389a2c0 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Builtin.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Builtin.hs @@ -31,6 +31,7 @@ import qualified MAlonzo.Code.Builtin.Signature import qualified MAlonzo.Code.Data.Fin.Base import qualified MAlonzo.Code.Data.List.NonEmpty.Base import qualified MAlonzo.Code.Data.Nat.Properties +import qualified MAlonzo.Code.Data.Sum.Base import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core import qualified MAlonzo.Code.Relation.Nullary.Reflects import qualified MAlonzo.Code.Utils @@ -478,14 +479,15 @@ d_'8704'A'44'a_202 (coe (1 :: Integer)) -- Builtin.SugaredSignature.A d_A_208 :: - Integer -> - Integer -> MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 + Integer -> Integer -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30 d_A_208 ~v0 ~v1 = du_A_208 -du_A_208 :: MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 +du_A_208 :: MAlonzo.Code.Data.Sum.Base.T__'8846'__30 du_A_208 = coe - MAlonzo.Code.Builtin.Signature.C_'96'_32 - (coe MAlonzo.Code.Data.Fin.Base.C_zero_12) + MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 + (coe + MAlonzo.Code.Builtin.Signature.C_'96'_30 + (coe MAlonzo.Code.Data.Fin.Base.C_zero_12)) -- Builtin.SugaredSignature.a d_a_218 :: Integer -> MAlonzo.Code.Builtin.Signature.T__'8866''9839'_4 @@ -512,43 +514,43 @@ d_pair_228 :: Integer -> MAlonzo.Code.Builtin.Signature.T__'8866''9839'_4 -> MAlonzo.Code.Builtin.Signature.T__'8866''9839'_4 -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 d_pair_228 ~v0 ~v1 v2 v3 = du_pair_228 v2 v3 du_pair_228 :: MAlonzo.Code.Builtin.Signature.T__'8866''9839'_4 -> MAlonzo.Code.Builtin.Signature.T__'8866''9839'_4 -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 du_pair_228 v0 v1 = coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_pair_24 v0 v1) -- Builtin.SugaredSignature.list d_list_238 :: Integer -> Integer -> MAlonzo.Code.Builtin.Signature.T__'8866''9839'_4 -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 d_list_238 ~v0 ~v1 v2 = du_list_238 v2 du_list_238 :: MAlonzo.Code.Builtin.Signature.T__'8866''9839'_4 -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 du_list_238 v0 = coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_list_16 v0) -- Builtin.SugaredSignature.array d_array_246 :: Integer -> Integer -> MAlonzo.Code.Builtin.Signature.T__'8866''9839'_4 -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 d_array_246 ~v0 ~v1 v2 = du_array_246 v2 du_array_246 :: MAlonzo.Code.Builtin.Signature.T__'8866''9839'_4 -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 du_array_246 v0 = coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_array_20 v0) -- Builtin.SugaredSignature.ArgSet d_ArgSet_250 :: () @@ -559,7 +561,7 @@ d_ArgTy_258 = erased -- Builtin.SugaredSignature._[_ d__'91'__266 :: MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 -> + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 d__'91'__266 v0 v1 = coe @@ -571,7 +573,7 @@ d__'91'__266 v0 v1 -- Builtin.SugaredSignature._,_ d__'44'__276 :: MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 -> + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 d__'44'__276 v0 v1 = case coe v0 of @@ -587,21 +589,21 @@ d__'44'__276 v0 v1 -- Builtin.SugaredSignature._]⟶_ d__'93''10230'__288 :: MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 -> - MAlonzo.Code.Builtin.Signature.T_Sig_72 + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> + MAlonzo.Code.Builtin.Signature.T_Sig_70 d__'93''10230'__288 v0 v1 = case coe v0 of MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 v2 v3 -> case coe v2 of MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 v4 v5 -> coe - MAlonzo.Code.Builtin.Signature.C_sig_90 (coe v4) (coe v5) (coe v3) + MAlonzo.Code.Builtin.Signature.C_sig_88 (coe v4) (coe v5) (coe v3) (coe v1) _ -> MAlonzo.RTE.mazUnreachableError _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.SugaredSignature.signature d_signature_298 :: - T_Builtin_2 -> MAlonzo.Code.Builtin.Signature.T_Sig_72 + T_Builtin_2 -> MAlonzo.Code.Builtin.Signature.T_Sig_70 d_signature_298 v0 = case coe v0 of C_addInteger_4 @@ -612,17 +614,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -634,17 +636,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -656,17 +658,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -678,17 +680,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -700,17 +702,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -722,17 +724,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -744,17 +746,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -766,17 +768,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -788,17 +790,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -810,17 +812,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -832,17 +834,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -854,17 +856,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -878,22 +880,22 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -903,12 +905,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -920,17 +922,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -942,17 +944,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -964,17 +966,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -986,17 +988,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -1006,12 +1008,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -1021,12 +1023,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -1036,12 +1038,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -1055,22 +1057,22 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -1084,22 +1086,22 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -1113,22 +1115,22 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -1140,17 +1142,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aString_12)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aString_12)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aString_12))) @@ -1162,17 +1164,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aString_12)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aString_12)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -1182,12 +1184,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aString_12)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -1197,12 +1199,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aString_12))) @@ -1216,7 +1218,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8704'A_200) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16)))) @@ -1229,7 +1231,7 @@ d_signature_298 v0 (coe d__'44'__276 (coe d__'91'__266 (coe d_'8704'A_200) (coe du_A_208)) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aUnit_14)))) @@ -1242,7 +1244,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8704'A_200) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aString_12)))) @@ -1254,14 +1256,14 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8704'b'44'a_198) (coe du_pair_228 (coe du_b_222) (coe du_a_218))) - (coe MAlonzo.Code.Builtin.Signature.C__'8593'_38 (coe du_b_222)) + (coe MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe du_b_222)) C_sndPair_68 -> coe d__'93''10230'__288 (coe d__'91'__266 (coe d_'8704'b'44'a_198) (coe du_pair_228 (coe du_b_222) (coe du_a_218))) - (coe MAlonzo.Code.Builtin.Signature.C__'8593'_38 (coe du_a_218)) + (coe MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe du_a_218)) C_chooseList_70 -> coe d__'93''10230'__288 @@ -1282,7 +1284,7 @@ d_signature_298 v0 d__'44'__276 (coe d__'91'__266 (coe d_'8704'a_196) - (coe MAlonzo.Code.Builtin.Signature.C__'8593'_38 (coe du_a_218))) + (coe MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe du_a_218))) (coe du_list_238 (coe du_a_218))) (coe du_list_238 (coe du_a_218)) C_headList_74 @@ -1290,7 +1292,7 @@ d_signature_298 v0 d__'93''10230'__288 (coe d__'91'__266 (coe d_'8704'a_196) (coe du_list_238 (coe du_a_218))) - (coe MAlonzo.Code.Builtin.Signature.C__'8593'_38 (coe du_a_218)) + (coe MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe du_a_218)) C_tailList_76 -> coe d__'93''10230'__288 @@ -1303,7 +1305,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8704'a_196) (coe du_list_238 (coe du_a_218))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -1313,7 +1315,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8704'a_196) (coe du_array_246 (coe du_a_218))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -1331,11 +1333,11 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8704'a_196) (coe du_array_246 (coe du_a_218))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) - (coe MAlonzo.Code.Builtin.Signature.C__'8593'_38 (coe du_a_218)) + (coe MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe du_a_218)) C_chooseData_86 -> coe d__'93''10230'__288 @@ -1352,7 +1354,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8704'A_200) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) @@ -1370,7 +1372,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) @@ -1380,7 +1382,7 @@ d_signature_298 v0 MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18))) @@ -1400,7 +1402,7 @@ d_signature_298 v0 MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18))))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18))) @@ -1415,7 +1417,7 @@ d_signature_298 v0 MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18))) @@ -1425,12 +1427,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18))) @@ -1440,12 +1442,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18))) @@ -1455,7 +1457,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) @@ -1475,7 +1477,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) @@ -1495,7 +1497,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) @@ -1510,12 +1512,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -1525,12 +1527,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -1542,17 +1544,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -1562,12 +1564,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -1579,12 +1581,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aData_18)))) @@ -1602,7 +1604,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aUnit_14)))) @@ -1617,7 +1619,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aUnit_14)))) @@ -1639,19 +1641,19 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g1'45'element_20)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g1'45'element_20)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1662,13 +1664,13 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g1'45'element_20)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1681,18 +1683,18 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g1'45'element_20)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1705,19 +1707,19 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g1'45'element_20)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g1'45'element_20)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -1729,17 +1731,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1750,13 +1752,13 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g1'45'element_20)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -1766,12 +1768,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1784,19 +1786,19 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g2'45'element_22)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g2'45'element_22)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1807,13 +1809,13 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g2'45'element_22)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1826,18 +1828,18 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g2'45'element_22)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1850,19 +1852,19 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g2'45'element_22)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g2'45'element_22)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -1874,17 +1876,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1895,13 +1897,13 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g2'45'element_22)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -1911,12 +1913,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1929,19 +1931,19 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g1'45'element_20)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g2'45'element_22)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1954,19 +1956,19 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'mlresult_24)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'mlresult_24)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -1979,19 +1981,19 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'mlresult_24)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'mlresult_24)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -2001,12 +2003,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2016,12 +2018,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2033,17 +2035,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -2057,22 +2059,22 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2086,22 +2088,22 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2115,22 +2117,22 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2144,22 +2146,22 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2169,12 +2171,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2186,17 +2188,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16))) @@ -2210,7 +2212,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) @@ -2220,12 +2222,12 @@ d_signature_298 v0 MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBool_16)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2237,17 +2239,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2259,17 +2261,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2281,17 +2283,17 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2301,12 +2303,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -2316,12 +2318,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -2331,12 +2333,12 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBytestring_10))) @@ -2350,22 +2352,22 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8729'_194) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8))) @@ -2377,7 +2379,7 @@ d_signature_298 v0 (coe d__'91'__266 (coe d_'8704'a_196) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aInteger_8)))) @@ -2402,7 +2404,7 @@ d_signature_298 v0 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g1'45'element_20)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -2426,7 +2428,7 @@ d_signature_298 v0 (coe MAlonzo.Code.Builtin.Constant.AtomicType.C_aBls12'45'381'45'g2'45'element_22)))) (coe - MAlonzo.Code.Builtin.Signature.C__'8593'_38 + MAlonzo.Code.Builtin.Signature.du__'8593'_36 (coe MAlonzo.Code.Builtin.Signature.C_atomic_12 (coe @@ -2438,10 +2440,10 @@ d_arity'8320'_300 v0 = coe addInt (coe - MAlonzo.Code.Builtin.Signature.d_fv'9839'_84 + MAlonzo.Code.Builtin.Signature.d_fv'9839'_82 (coe d_signature_298 (coe v0))) (coe - MAlonzo.Code.Builtin.Signature.d_fv'8902'_82 + MAlonzo.Code.Builtin.Signature.d_fv'8902'_80 (coe d_signature_298 (coe v0))) -- Builtin.arity d_arity_304 :: T_Builtin_2 -> Integer @@ -2449,7 +2451,7 @@ d_arity_304 v0 = coe MAlonzo.Code.Data.List.NonEmpty.Base.du_length_54 (coe - MAlonzo.Code.Builtin.Signature.d_args_86 + MAlonzo.Code.Builtin.Signature.d_args_84 (coe d_signature_298 (coe v0))) -- Builtin.lengthBS d_lengthBS_308 :: MAlonzo.Code.Utils.T_ByteString_426 -> Integer diff --git a/plutus-metatheory/src/MAlonzo/Code/Builtin/Signature.hs b/plutus-metatheory/src/MAlonzo/Code/Builtin/Signature.hs index 3fc0ab42be5..a5c2ec47105 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Builtin/Signature.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Builtin/Signature.hs @@ -23,6 +23,7 @@ import qualified MAlonzo.Code.Builtin.Constant.AtomicType import qualified MAlonzo.Code.Builtin.Constant.Type import qualified MAlonzo.Code.Data.Fin.Base import qualified MAlonzo.Code.Data.List.NonEmpty.Base +import qualified MAlonzo.Code.Data.Sum.Base import qualified MAlonzo.Code.Type import qualified MAlonzo.Code.Utils @@ -33,64 +34,72 @@ data T__'8866''9839'_4 C_atomic_12 MAlonzo.Code.Builtin.Constant.AtomicType.T_AtomicTyCon_6 | C_list_16 T__'8866''9839'_4 | C_array_20 T__'8866''9839'_4 | C_pair_24 T__'8866''9839'_4 T__'8866''9839'_4 --- Builtin.Signature._/_⊢⋆ -d__'47'_'8866''8902'_26 a0 a1 = () -data T__'47'_'8866''8902'_26 - = C_'96'_32 MAlonzo.Code.Data.Fin.Base.T_Fin_10 | - C__'8593'_38 T__'8866''9839'_4 +-- Builtin.Signature._⊢⋆ +d__'8866''8902'_26 a0 = () +newtype T__'8866''8902'_26 + = C_'96'_30 MAlonzo.Code.Data.Fin.Base.T_Fin_10 +-- Builtin.Signature._↑ +d__'8593'_36 :: + Integer -> + Integer -> + T__'8866''9839'_4 -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30 +d__'8593'_36 ~v0 ~v1 = du__'8593'_36 +du__'8593'_36 :: + T__'8866''9839'_4 -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30 +du__'8593'_36 = coe MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 -- Builtin.Signature.Args -d_Args_58 :: Integer -> Integer -> () -d_Args_58 = erased +d_Args_56 :: Integer -> Integer -> () +d_Args_56 = erased -- Builtin.Signature._/_⊢r⋆ -d__'47'_'8866'r'8902'_64 a0 a1 = () -newtype T__'47'_'8866'r'8902'_64 - = C_argtype_70 T__'47'_'8866''8902'_26 +d__'47'_'8866'r'8902'_62 a0 a1 = () +newtype T__'47'_'8866'r'8902'_62 + = C_argtype_68 MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -- Builtin.Signature.Sig -d_Sig_72 = () -data T_Sig_72 - = C_sig_90 Integer Integer +d_Sig_70 = () +data T_Sig_70 + = C_sig_88 Integer Integer MAlonzo.Code.Data.List.NonEmpty.Base.T_List'8314'_22 - T__'47'_'8866''8902'_26 + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -- Builtin.Signature.Sig.fv⋆ -d_fv'8902'_82 :: T_Sig_72 -> Integer -d_fv'8902'_82 v0 +d_fv'8902'_80 :: T_Sig_70 -> Integer +d_fv'8902'_80 v0 = case coe v0 of - C_sig_90 v1 v2 v3 v4 -> coe v1 + C_sig_88 v1 v2 v3 v4 -> coe v1 _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.Sig.fv♯ -d_fv'9839'_84 :: T_Sig_72 -> Integer -d_fv'9839'_84 v0 +d_fv'9839'_82 :: T_Sig_70 -> Integer +d_fv'9839'_82 v0 = case coe v0 of - C_sig_90 v1 v2 v3 v4 -> coe v2 + C_sig_88 v1 v2 v3 v4 -> coe v2 _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.Sig.args -d_args_86 :: - T_Sig_72 -> MAlonzo.Code.Data.List.NonEmpty.Base.T_List'8314'_22 -d_args_86 v0 +d_args_84 :: + T_Sig_70 -> MAlonzo.Code.Data.List.NonEmpty.Base.T_List'8314'_22 +d_args_84 v0 = case coe v0 of - C_sig_90 v1 v2 v3 v4 -> coe v3 + C_sig_88 v1 v2 v3 v4 -> coe v3 _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.Sig.result -d_result_88 :: T_Sig_72 -> T__'47'_'8866''8902'_26 -d_result_88 v0 +d_result_86 :: T_Sig_70 -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30 +d_result_86 v0 = case coe v0 of - C_sig_90 v1 v2 v3 v4 -> coe v4 + C_sig_88 v1 v2 v3 v4 -> coe v4 _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.args♯ -d_args'9839'_92 :: T_Sig_72 -> Integer -d_args'9839'_92 v0 +d_args'9839'_90 :: T_Sig_70 -> Integer +d_args'9839'_90 v0 = coe MAlonzo.Code.Data.List.NonEmpty.Base.du_length_54 - (coe d_args_86 (coe v0)) + (coe d_args_84 (coe v0)) -- Builtin.Signature.fv -d_fv_96 :: T_Sig_72 -> Integer -d_fv_96 v0 +d_fv_94 :: T_Sig_70 -> Integer +d_fv_94 v0 = coe - addInt (coe d_fv'9839'_84 (coe v0)) (coe d_fv'8902'_82 (coe v0)) + addInt (coe d_fv'9839'_82 (coe v0)) (coe d_fv'8902'_80 (coe v0)) -- Builtin.Signature.mkCtx⋆ -d_mkCtx'8902'_104 :: +d_mkCtx'8902'_102 :: Integer -> Integer -> MAlonzo.Code.Type.T_Ctx'8902'_2 -d_mkCtx'8902'_104 v0 v1 +d_mkCtx'8902'_102 v0 v1 = case coe v0 of 0 -> case coe v1 of 0 -> coe MAlonzo.Code.Type.C_'8709'_4 @@ -98,27 +107,27 @@ d_mkCtx'8902'_104 v0 v1 coe (coe MAlonzo.Code.Type.C__'44''8902'__6 - (coe d_mkCtx'8902'_104 (coe (0 :: Integer)) (coe v2)) + (coe d_mkCtx'8902'_102 (coe (0 :: Integer)) (coe v2)) (coe MAlonzo.Code.Utils.C_'9839'_780)) _ -> let v2 = subInt (coe v0) (coe (1 :: Integer)) in coe (coe MAlonzo.Code.Type.C__'44''8902'__6 - (coe d_mkCtx'8902'_104 (coe v2) (coe v1)) + (coe d_mkCtx'8902'_102 (coe v2) (coe v1)) (coe MAlonzo.Code.Utils.C_'42'_778)) -- Builtin.Signature.fin♯2∋⋆ -d_fin'9839'2'8715''8902'_116 :: +d_fin'9839'2'8715''8902'_114 :: Integer -> Integer -> MAlonzo.Code.Data.Fin.Base.T_Fin_10 -> MAlonzo.Code.Type.T__'8715''8902'__14 -d_fin'9839'2'8715''8902'_116 v0 ~v1 v2 - = du_fin'9839'2'8715''8902'_116 v0 v2 -du_fin'9839'2'8715''8902'_116 :: +d_fin'9839'2'8715''8902'_114 v0 ~v1 v2 + = du_fin'9839'2'8715''8902'_114 v0 v2 +du_fin'9839'2'8715''8902'_114 :: Integer -> MAlonzo.Code.Data.Fin.Base.T_Fin_10 -> MAlonzo.Code.Type.T__'8715''8902'__14 -du_fin'9839'2'8715''8902'_116 v0 v1 +du_fin'9839'2'8715''8902'_114 v0 v1 = case coe v0 of 0 -> case coe v1 of MAlonzo.Code.Data.Fin.Base.C_zero_12 @@ -126,7 +135,7 @@ du_fin'9839'2'8715''8902'_116 v0 v1 MAlonzo.Code.Data.Fin.Base.C_suc_16 v3 -> coe MAlonzo.Code.Type.C_S_18 - (coe du_fin'9839'2'8715''8902'_116 (coe (0 :: Integer)) (coe v3)) + (coe du_fin'9839'2'8715''8902'_114 (coe (0 :: Integer)) (coe v3)) _ -> MAlonzo.RTE.mazUnreachableError _ -> let v2 = subInt (coe v0) (coe (1 :: Integer)) in coe @@ -135,37 +144,37 @@ du_fin'9839'2'8715''8902'_116 v0 v1 -> coe MAlonzo.Code.Type.C_S_18 (coe - du_fin'9839'2'8715''8902'_116 (coe v2) + du_fin'9839'2'8715''8902'_114 (coe v2) (coe MAlonzo.Code.Data.Fin.Base.C_zero_12)) MAlonzo.Code.Data.Fin.Base.C_suc_16 v4 -> coe MAlonzo.Code.Type.C_S_18 (coe - du_fin'9839'2'8715''8902'_116 (coe v2) + du_fin'9839'2'8715''8902'_114 (coe v2) (coe MAlonzo.Code.Data.Fin.Base.C_suc_16 v4)) _ -> MAlonzo.RTE.mazUnreachableError) -- Builtin.Signature.fin⋆2∋⋆ -d_fin'8902'2'8715''8902'_130 :: +d_fin'8902'2'8715''8902'_128 :: Integer -> Integer -> MAlonzo.Code.Data.Fin.Base.T_Fin_10 -> MAlonzo.Code.Type.T__'8715''8902'__14 -d_fin'8902'2'8715''8902'_130 ~v0 ~v1 v2 - = du_fin'8902'2'8715''8902'_130 v2 -du_fin'8902'2'8715''8902'_130 :: +d_fin'8902'2'8715''8902'_128 ~v0 ~v1 v2 + = du_fin'8902'2'8715''8902'_128 v2 +du_fin'8902'2'8715''8902'_128 :: MAlonzo.Code.Data.Fin.Base.T_Fin_10 -> MAlonzo.Code.Type.T__'8715''8902'__14 -du_fin'8902'2'8715''8902'_130 v0 +du_fin'8902'2'8715''8902'_128 v0 = case coe v0 of MAlonzo.Code.Data.Fin.Base.C_zero_12 -> coe MAlonzo.Code.Type.C_Z_16 MAlonzo.Code.Data.Fin.Base.C_suc_16 v2 -> coe MAlonzo.Code.Type.C_S_18 - (coe du_fin'8902'2'8715''8902'_130 (coe v2)) + (coe du_fin'8902'2'8715''8902'_128 (coe v2)) _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.FromSig.⊢♯2TyNe♯ -d_'8866''9839'2TyNe'9839'_186 :: +d_'8866''9839'2TyNe'9839'_184 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -188,10 +197,10 @@ d_'8866''9839'2TyNe'9839'_186 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> T__'8866''9839'_4 -> AgdaAny -d_'8866''9839'2TyNe'9839'_186 ~v0 ~v1 v2 v3 v4 v5 ~v6 ~v7 ~v8 v9 +d_'8866''9839'2TyNe'9839'_184 ~v0 ~v1 v2 v3 v4 v5 ~v6 ~v7 ~v8 v9 v10 v11 - = du_'8866''9839'2TyNe'9839'_186 v2 v3 v4 v5 v9 v10 v11 -du_'8866''9839'2TyNe'9839'_186 :: + = du_'8866''9839'2TyNe'9839'_184 v2 v3 v4 v5 v9 v10 v11 +du_'8866''9839'2TyNe'9839'_184 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> (Integer -> @@ -205,67 +214,67 @@ du_'8866''9839'2TyNe'9839'_186 :: MAlonzo.Code.Utils.T_Kind_776 -> MAlonzo.Code.Builtin.Constant.Type.T_TyCon_6 -> AgdaAny) -> Integer -> Integer -> T__'8866''9839'_4 -> AgdaAny -du_'8866''9839'2TyNe'9839'_186 v0 v1 v2 v3 v4 v5 v6 +du_'8866''9839'2TyNe'9839'_184 v0 v1 v2 v3 v4 v5 v6 = case coe v6 of C_'96'_8 v8 -> coe v1 v4 v5 (coe MAlonzo.Code.Utils.C_'9839'_780) - (coe du_fin'9839'2'8715''8902'_116 (coe v4) (coe v8)) + (coe du_fin'9839'2'8715''8902'_114 (coe v4) (coe v8)) C_atomic_12 v8 -> coe - v3 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v3 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe MAlonzo.Code.Builtin.Constant.Type.C_atomic_8 (coe v8)) C_list_16 v8 -> coe - v2 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v2 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe - v3 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v3 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C__'8658'__782 (coe MAlonzo.Code.Utils.C_'9839'_780) (coe MAlonzo.Code.Utils.C_'9839'_780)) (coe MAlonzo.Code.Builtin.Constant.Type.C_list_10)) (coe - v0 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v0 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe - du_'8866''9839'2TyNe'9839'_186 (coe v0) (coe v1) (coe v2) (coe v3) + du_'8866''9839'2TyNe'9839'_184 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v5) (coe v8))) C_array_20 v8 -> coe - v2 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v2 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe - v3 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v3 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C__'8658'__782 (coe MAlonzo.Code.Utils.C_'9839'_780) (coe MAlonzo.Code.Utils.C_'9839'_780)) (coe MAlonzo.Code.Builtin.Constant.Type.C_array_12)) (coe - v0 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v0 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe - du_'8866''9839'2TyNe'9839'_186 (coe v0) (coe v1) (coe v2) (coe v3) + du_'8866''9839'2TyNe'9839'_184 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v5) (coe v8))) C_pair_24 v8 v9 -> coe - v2 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v2 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe - v2 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v2 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe MAlonzo.Code.Utils.C__'8658'__782 (coe MAlonzo.Code.Utils.C_'9839'_780) (coe MAlonzo.Code.Utils.C_'9839'_780)) (coe - v3 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v3 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C__'8658'__782 (coe MAlonzo.Code.Utils.C_'9839'_780) @@ -275,20 +284,20 @@ du_'8866''9839'2TyNe'9839'_186 v0 v1 v2 v3 v4 v5 v6 (coe MAlonzo.Code.Utils.C_'9839'_780))) (coe MAlonzo.Code.Builtin.Constant.Type.C_pair_14)) (coe - v0 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v0 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe - du_'8866''9839'2TyNe'9839'_186 (coe v0) (coe v1) (coe v2) (coe v3) + du_'8866''9839'2TyNe'9839'_184 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v5) (coe v8)))) (coe - v0 (d_mkCtx'8902'_104 (coe v4) (coe v5)) + v0 (d_mkCtx'8902'_102 (coe v4) (coe v5)) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe - du_'8866''9839'2TyNe'9839'_186 (coe v0) (coe v1) (coe v2) (coe v3) + du_'8866''9839'2TyNe'9839'_184 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v5) (coe v9))) _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.FromSig.mkTy -d_mkTy_204 :: +d_mkTy_202 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -310,10 +319,11 @@ d_mkTy_204 :: AgdaAny -> AgdaAny -> AgdaAny) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> - Integer -> Integer -> T__'47'_'8866''8902'_26 -> AgdaAny -d_mkTy_204 ~v0 ~v1 v2 v3 v4 v5 v6 ~v7 ~v8 v9 v10 v11 - = du_mkTy_204 v2 v3 v4 v5 v6 v9 v10 v11 -du_mkTy_204 :: + Integer -> + Integer -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny +d_mkTy_202 ~v0 ~v1 v2 v3 v4 v5 v6 ~v7 ~v8 v9 v10 v11 + = du_mkTy_202 v2 v3 v4 v5 v6 v9 v10 v11 +du_mkTy_202 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> (Integer -> @@ -327,28 +337,32 @@ du_mkTy_204 :: MAlonzo.Code.Utils.T_Kind_776 -> MAlonzo.Code.Builtin.Constant.Type.T_TyCon_6 -> AgdaAny) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> - Integer -> Integer -> T__'47'_'8866''8902'_26 -> AgdaAny -du_mkTy_204 v0 v1 v2 v3 v4 v5 v6 v7 + Integer -> + Integer -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny +du_mkTy_202 v0 v1 v2 v3 v4 v5 v6 v7 = case coe v7 of - C_'96'_32 v10 - -> coe - v0 (d_mkCtx'8902'_104 (coe v5) (coe v6)) - (coe MAlonzo.Code.Utils.C_'42'_778) - (coe - v1 v5 v6 (coe MAlonzo.Code.Utils.C_'42'_778) - (coe du_fin'8902'2'8715''8902'_130 (coe v10))) - C__'8593'_38 v10 + MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 v8 + -> case coe v8 of + C_'96'_30 v10 + -> coe + v0 (d_mkCtx'8902'_102 (coe v5) (coe v6)) + (coe MAlonzo.Code.Utils.C_'42'_778) + (coe + v1 v5 v6 (coe MAlonzo.Code.Utils.C_'42'_778) + (coe du_fin'8902'2'8715''8902'_128 (coe v10))) + _ -> MAlonzo.RTE.mazUnreachableError + MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 v8 -> coe - v4 (d_mkCtx'8902'_104 (coe v5) (coe v6)) + v4 (d_mkCtx'8902'_102 (coe v5) (coe v6)) (coe - v0 (d_mkCtx'8902'_104 (coe v5) (coe v6)) + v0 (d_mkCtx'8902'_102 (coe v5) (coe v6)) (coe MAlonzo.Code.Utils.C_'9839'_780) (coe - du_'8866''9839'2TyNe'9839'_186 (coe v0) (coe v1) (coe v2) (coe v3) - (coe v5) (coe v6) (coe v10))) + du_'8866''9839'2TyNe'9839'_184 (coe v0) (coe v1) (coe v2) (coe v3) + (coe v5) (coe v6) (coe v8))) _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.FromSig.sig2type⇒ -d_sig2type'8658'_214 :: +d_sig2type'8658'_212 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -371,10 +385,11 @@ d_sig2type'8658'_214 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> Integer -> - Integer -> [T__'47'_'8866''8902'_26] -> AgdaAny -> AgdaAny -d_sig2type'8658'_214 ~v0 ~v1 v2 v3 v4 v5 v6 v7 ~v8 v9 v10 v11 v12 - = du_sig2type'8658'_214 v2 v3 v4 v5 v6 v7 v9 v10 v11 v12 -du_sig2type'8658'_214 :: + Integer -> + [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] -> AgdaAny -> AgdaAny +d_sig2type'8658'_212 ~v0 ~v1 v2 v3 v4 v5 v6 v7 ~v8 v9 v10 v11 v12 + = du_sig2type'8658'_212 v2 v3 v4 v5 v6 v7 v9 v10 v11 v12 +du_sig2type'8658'_212 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> (Integer -> @@ -391,23 +406,24 @@ du_sig2type'8658'_214 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> Integer -> - Integer -> [T__'47'_'8866''8902'_26] -> AgdaAny -> AgdaAny -du_sig2type'8658'_214 v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 + Integer -> + [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] -> AgdaAny -> AgdaAny +du_sig2type'8658'_212 v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 = case coe v8 of [] -> coe v9 (:) v10 v11 -> coe - du_sig2type'8658'_214 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) + du_sig2type'8658'_212 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v5) (coe v6) (coe v7) (coe v11) (coe - v5 (d_mkCtx'8902'_104 (coe v6) (coe v7)) + v5 (d_mkCtx'8902'_102 (coe v6) (coe v7)) (coe - du_mkTy_204 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v6) + du_mkTy_202 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v6) (coe v7) (coe v10)) v9) _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.FromSig.sig2typeΠ -d_sig2typeΠ_228 :: +d_sig2typeΠ_226 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -430,32 +446,32 @@ d_sig2typeΠ_228 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> AgdaAny -> AgdaAny -d_sig2typeΠ_228 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9 v10 v11 - = du_sig2typeΠ_228 v8 v9 v10 v11 -du_sig2typeΠ_228 :: +d_sig2typeΠ_226 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9 v10 v11 + = du_sig2typeΠ_226 v8 v9 v10 v11 +du_sig2typeΠ_226 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> AgdaAny -> AgdaAny -du_sig2typeΠ_228 v0 v1 v2 v3 +du_sig2typeΠ_226 v0 v1 v2 v3 = case coe v1 of 0 -> case coe v2 of 0 -> coe v3 _ -> let v4 = subInt (coe v2) (coe (1 :: Integer)) in coe (coe - du_sig2typeΠ_228 (coe v0) (coe (0 :: Integer)) (coe v4) + du_sig2typeΠ_226 (coe v0) (coe (0 :: Integer)) (coe v4) (coe - v0 (d_mkCtx'8902'_104 (coe (0 :: Integer)) (coe v4)) + v0 (d_mkCtx'8902'_102 (coe (0 :: Integer)) (coe v4)) (coe MAlonzo.Code.Utils.C_'9839'_780) v3)) _ -> let v4 = subInt (coe v1) (coe (1 :: Integer)) in coe (coe - du_sig2typeΠ_228 (coe v0) (coe v4) (coe v2) + du_sig2typeΠ_226 (coe v0) (coe v4) (coe v2) (coe - v0 (d_mkCtx'8902'_104 (coe v4) (coe v2)) + v0 (d_mkCtx'8902'_102 (coe v4) (coe v2)) (coe MAlonzo.Code.Utils.C_'42'_778) v3)) -- Builtin.Signature.FromSig.sig2type -d_sig2type_242 :: +d_sig2type_240 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -477,10 +493,10 @@ d_sig2type_242 :: AgdaAny -> AgdaAny -> AgdaAny) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> - T_Sig_72 -> AgdaAny -d_sig2type_242 ~v0 ~v1 v2 v3 v4 v5 v6 v7 v8 v9 - = du_sig2type_242 v2 v3 v4 v5 v6 v7 v8 v9 -du_sig2type_242 :: + T_Sig_70 -> AgdaAny +d_sig2type_240 ~v0 ~v1 v2 v3 v4 v5 v6 v7 v8 v9 + = du_sig2type_240 v2 v3 v4 v5 v6 v7 v8 v9 +du_sig2type_240 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> (Integer -> @@ -498,32 +514,32 @@ du_sig2type_242 :: AgdaAny -> AgdaAny -> AgdaAny) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> - T_Sig_72 -> AgdaAny -du_sig2type_242 v0 v1 v2 v3 v4 v5 v6 v7 + T_Sig_70 -> AgdaAny +du_sig2type_240 v0 v1 v2 v3 v4 v5 v6 v7 = case coe v7 of - C_sig_90 v8 v9 v10 v11 + C_sig_88 v8 v9 v10 v11 -> coe - du_sig2typeΠ_228 (coe v6) (coe v8) (coe v9) + du_sig2typeΠ_226 (coe v6) (coe v8) (coe v9) (coe - du_sig2type'8658'_214 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) + du_sig2type'8658'_212 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v5) (coe v8) (coe v9) (coe MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (coe MAlonzo.Code.Data.List.NonEmpty.Base.d_head_30 (coe v10)) (coe MAlonzo.Code.Data.List.NonEmpty.Base.d_tail_32 (coe v10))) (coe - du_mkTy_204 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v8) + du_mkTy_202 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v8) (coe v9) (coe v11))) _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.FromSig.SigTy -d_SigTy_266 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 +d_SigTy_264 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 = () -data T_SigTy_266 - = C_bresult_280 | C__B'8658'__302 AgdaAny AgdaAny T_SigTy_266 | - C_sucΠ_326 MAlonzo.Code.Utils.T_Kind_776 AgdaAny T_SigTy_266 +data T_SigTy_264 + = C_bresult_278 | C__B'8658'__300 AgdaAny AgdaAny T_SigTy_264 | + C_sucΠ_324 MAlonzo.Code.Utils.T_Kind_776 AgdaAny T_SigTy_264 -- Builtin.Signature.FromSig.sig2SigTy⇒ -d_sig2SigTy'8658'_348 :: +d_sig2SigTy'8658'_346 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -549,15 +565,15 @@ d_sig2SigTy'8658'_348 :: Integer -> Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - [T__'47'_'8866''8902'_26] -> + [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] -> Integer -> Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - AgdaAny -> T_SigTy_266 -> T_SigTy_266 -d_sig2SigTy'8658'_348 ~v0 ~v1 v2 v3 v4 v5 v6 v7 ~v8 v9 v10 ~v11 + AgdaAny -> T_SigTy_264 -> T_SigTy_264 +d_sig2SigTy'8658'_346 ~v0 ~v1 v2 v3 v4 v5 v6 v7 ~v8 v9 v10 ~v11 ~v12 v13 ~v14 ~v15 v16 v17 v18 - = du_sig2SigTy'8658'_348 v2 v3 v4 v5 v6 v7 v9 v10 v13 v16 v17 v18 -du_sig2SigTy'8658'_348 :: + = du_sig2SigTy'8658'_346 v2 v3 v4 v5 v6 v7 v9 v10 v13 v16 v17 v18 +du_sig2SigTy'8658'_346 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> (Integer -> @@ -575,34 +591,34 @@ du_sig2SigTy'8658'_348 :: AgdaAny -> AgdaAny -> AgdaAny) -> Integer -> Integer -> - [T__'47'_'8866''8902'_26] -> + [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - AgdaAny -> T_SigTy_266 -> T_SigTy_266 -du_sig2SigTy'8658'_348 v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 + AgdaAny -> T_SigTy_264 -> T_SigTy_264 +du_sig2SigTy'8658'_346 v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 = case coe v8 of [] -> coe seq (coe v9) (coe v11) (:) v12 v13 -> case coe v9 of MAlonzo.Code.Utils.C_bubble_200 v17 -> coe - du_sig2SigTy'8658'_348 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) + du_sig2SigTy'8658'_346 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v5) (coe v6) (coe v7) (coe v13) (coe v17) (coe - v5 (d_mkCtx'8902'_104 (coe v6) (coe v7)) + v5 (d_mkCtx'8902'_102 (coe v6) (coe v7)) (coe - du_mkTy_204 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v6) + du_mkTy_202 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v6) (coe v7) (coe v12)) v10) (coe - C__B'8658'__302 + C__B'8658'__300 (coe - du_mkTy_204 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v6) + du_mkTy_202 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v6) (coe v7) (coe v12)) v10 v11) _ -> MAlonzo.RTE.mazUnreachableError _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.FromSig.sig2SigTyΠ -d_sig2SigTyΠ_380 :: +d_sig2SigTyΠ_378 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -633,18 +649,18 @@ d_sig2SigTyΠ_380 :: MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - AgdaAny -> T_SigTy_266 -> T_SigTy_266 -d_sig2SigTyΠ_380 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9 v10 ~v11 + AgdaAny -> T_SigTy_264 -> T_SigTy_264 +d_sig2SigTyΠ_378 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 v8 v9 v10 ~v11 ~v12 ~v13 ~v14 v15 ~v16 ~v17 v18 v19 - = du_sig2SigTyΠ_380 v8 v9 v10 v15 v18 v19 -du_sig2SigTyΠ_380 :: + = du_sig2SigTyΠ_378 v8 v9 v10 v15 v18 v19 +du_sig2SigTyΠ_378 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - AgdaAny -> T_SigTy_266 -> T_SigTy_266 -du_sig2SigTyΠ_380 v0 v1 v2 v3 v4 v5 + AgdaAny -> T_SigTy_264 -> T_SigTy_264 +du_sig2SigTyΠ_378 v0 v1 v2 v3 v4 v5 = case coe v1 of 0 -> case coe v3 of MAlonzo.Code.Utils.C_start_192 -> coe v5 @@ -652,25 +668,25 @@ du_sig2SigTyΠ_380 v0 v1 v2 v3 v4 v5 -> let v10 = subInt (coe v2) (coe (1 :: Integer)) in coe (coe - du_sig2SigTyΠ_380 (coe v0) (coe (0 :: Integer)) (coe v10) (coe v9) + du_sig2SigTyΠ_378 (coe v0) (coe (0 :: Integer)) (coe v10) (coe v9) (coe - v0 (d_mkCtx'8902'_104 (coe (0 :: Integer)) (coe v10)) + v0 (d_mkCtx'8902'_102 (coe (0 :: Integer)) (coe v10)) (coe MAlonzo.Code.Utils.C_'9839'_780) v4) - (coe C_sucΠ_326 (coe MAlonzo.Code.Utils.C_'9839'_780) v4 v5)) + (coe C_sucΠ_324 (coe MAlonzo.Code.Utils.C_'9839'_780) v4 v5)) _ -> MAlonzo.RTE.mazUnreachableError _ -> let v6 = subInt (coe v1) (coe (1 :: Integer)) in coe (case coe v3 of MAlonzo.Code.Utils.C_bubble_200 v10 -> coe - du_sig2SigTyΠ_380 (coe v0) (coe v6) (coe v2) (coe v10) + du_sig2SigTyΠ_378 (coe v0) (coe v6) (coe v2) (coe v10) (coe - v0 (d_mkCtx'8902'_104 (coe v6) (coe v2)) + v0 (d_mkCtx'8902'_102 (coe v6) (coe v2)) (coe MAlonzo.Code.Utils.C_'42'_778) v4) - (coe C_sucΠ_326 (coe MAlonzo.Code.Utils.C_'42'_778) v4 v5) + (coe C_sucΠ_324 (coe MAlonzo.Code.Utils.C_'42'_778) v4 v5) _ -> MAlonzo.RTE.mazUnreachableError) -- Builtin.Signature.FromSig.sig2SigTy -d_sig2SigTy_398 :: +d_sig2SigTy_396 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -692,10 +708,10 @@ d_sig2SigTy_398 :: AgdaAny -> AgdaAny -> AgdaAny) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> - T_Sig_72 -> T_SigTy_266 -d_sig2SigTy_398 ~v0 ~v1 v2 v3 v4 v5 v6 v7 v8 v9 - = du_sig2SigTy_398 v2 v3 v4 v5 v6 v7 v8 v9 -du_sig2SigTy_398 :: + T_Sig_70 -> T_SigTy_264 +d_sig2SigTy_396 ~v0 ~v1 v2 v3 v4 v5 v6 v7 v8 v9 + = du_sig2SigTy_396 v2 v3 v4 v5 v6 v7 v8 v9 +du_sig2SigTy_396 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> (Integer -> @@ -713,26 +729,26 @@ du_sig2SigTy_398 :: AgdaAny -> AgdaAny -> AgdaAny) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> - T_Sig_72 -> T_SigTy_266 -du_sig2SigTy_398 v0 v1 v2 v3 v4 v5 v6 v7 + T_Sig_70 -> T_SigTy_264 +du_sig2SigTy_396 v0 v1 v2 v3 v4 v5 v6 v7 = case coe v7 of - C_sig_90 v8 v9 v10 v11 + C_sig_88 v8 v9 v10 v11 -> coe - du_sig2SigTyΠ_380 (coe v6) (coe v8) (coe v9) + du_sig2SigTyΠ_378 (coe v6) (coe v8) (coe v9) (coe MAlonzo.Code.Utils.d_alldone_248 (coe addInt (coe v8) (coe v9))) (coe - du_sig2type'8658'_214 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) + du_sig2type'8658'_212 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v5) (coe v8) (coe v9) (coe MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (coe MAlonzo.Code.Data.List.NonEmpty.Base.d_head_30 (coe v10)) (coe MAlonzo.Code.Data.List.NonEmpty.Base.d_tail_32 (coe v10))) (coe - du_mkTy_204 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v8) + du_mkTy_202 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v8) (coe v9) (coe v11))) (coe - du_sig2SigTy'8658'_348 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) + du_sig2SigTy'8658'_346 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v5) (coe v8) (coe v9) (coe MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 @@ -742,12 +758,12 @@ du_sig2SigTy_398 v0 v1 v2 v3 v4 v5 v6 v7 MAlonzo.Code.Utils.d_alldone_248 (coe MAlonzo.Code.Data.List.NonEmpty.Base.du_length_54 (coe v10))) (coe - du_mkTy_204 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v8) + du_mkTy_202 (coe v0) (coe v1) (coe v2) (coe v3) (coe v4) (coe v8) (coe v9) (coe v11)) - (coe C_bresult_280)) + (coe C_bresult_278)) _ -> MAlonzo.RTE.mazUnreachableError -- Builtin.Signature.FromSig.sigTy2type -d_sigTy2type_428 :: +d_sigTy2type_426 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -778,14 +794,14 @@ d_sigTy2type_428 :: Integer -> AgdaAny -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> T_SigTy_266 -> AgdaAny -d_sigTy2type_428 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8 ~v9 ~v10 ~v11 + MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> T_SigTy_264 -> AgdaAny +d_sigTy2type_426 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8 ~v9 ~v10 ~v11 ~v12 ~v13 ~v14 ~v15 v16 ~v17 ~v18 ~v19 - = du_sigTy2type_428 v16 -du_sigTy2type_428 :: AgdaAny -> AgdaAny -du_sigTy2type_428 v0 = coe v0 + = du_sigTy2type_426 v16 +du_sigTy2type_426 :: AgdaAny -> AgdaAny +du_sigTy2type_426 v0 = coe v0 -- Builtin.Signature.FromSig.saturatedSigTy -d_saturatedSigTy_436 :: +d_saturatedSigTy_434 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -807,10 +823,10 @@ d_saturatedSigTy_436 :: AgdaAny -> AgdaAny -> AgdaAny) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> AgdaAny -> AgdaAny) -> - T_Sig_72 -> AgdaAny -> () -d_saturatedSigTy_436 = erased + T_Sig_70 -> AgdaAny -> () +d_saturatedSigTy_434 = erased -- Builtin.Signature.FromSig.convSigTy -d_convSigTy_470 :: +d_convSigTy_468 :: (MAlonzo.Code.Type.T_Ctx'8902'_2 -> MAlonzo.Code.Utils.T_Kind_776 -> ()) -> (MAlonzo.Code.Type.T_Ctx'8902'_2 -> @@ -847,9 +863,9 @@ d_convSigTy_470 :: AgdaAny -> AgdaAny -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> - T_SigTy_266 -> T_SigTy_266 -d_convSigTy_470 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8 ~v9 ~v10 ~v11 + T_SigTy_264 -> T_SigTy_264 +d_convSigTy_468 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8 ~v9 ~v10 ~v11 ~v12 ~v13 ~v14 ~v15 ~v16 ~v17 ~v18 ~v19 ~v20 ~v21 ~v22 ~v23 v24 - = du_convSigTy_470 v24 -du_convSigTy_470 :: T_SigTy_266 -> T_SigTy_266 -du_convSigTy_470 v0 = coe v0 + = du_convSigTy_468 v24 +du_convSigTy_468 :: T_SigTy_264 -> T_SigTy_264 +du_convSigTy_468 v0 = coe v0 diff --git a/plutus-metatheory/src/MAlonzo/Code/Cost/Model.hs b/plutus-metatheory/src/MAlonzo/Code/Cost/Model.hs index 47cd627fea0..6f85d0985ee 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Cost/Model.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Cost/Model.hs @@ -990,7 +990,7 @@ d_getModel_502 v0 v1 (coe MAlonzo.Code.Data.List.NonEmpty.Base.d_tail_32 (coe - MAlonzo.Code.Builtin.Signature.d_args_86 + MAlonzo.Code.Builtin.Signature.d_args_84 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v0)))))) (coe v5)) else coe d_getModel_502 (coe v0) (coe v3)) diff --git a/plutus-metatheory/src/MAlonzo/Code/Declarative.hs b/plutus-metatheory/src/MAlonzo/Code/Declarative.hs index e3b302e3845..b4746983d79 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Declarative.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Declarative.hs @@ -22,6 +22,7 @@ import qualified MAlonzo.Code.Algorithmic import qualified MAlonzo.Code.Builtin import qualified MAlonzo.Code.Builtin.Signature import qualified MAlonzo.Code.Data.Fin.Base +import qualified MAlonzo.Code.Data.Sum.Base import qualified MAlonzo.Code.Data.Vec.Base import qualified MAlonzo.Code.Type import qualified MAlonzo.Code.Type.BetaNBE @@ -34,22 +35,22 @@ import qualified MAlonzo.Code.Utils.List d_mkTy_6 :: Integer -> Integer -> - MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26 -> + MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> MAlonzo.Code.Type.T__'8866''8902'__20 d_mkTy_6 = coe - MAlonzo.Code.Builtin.Signature.du_mkTy_204 (coe (\ v0 v1 v2 -> v2)) + MAlonzo.Code.Builtin.Signature.du_mkTy_202 (coe (\ v0 v1 v2 -> v2)) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.C_'96'_22 v3)) (\ v0 v1 v2 v3 v4 -> coe MAlonzo.Code.Type.C__'183'__30 v1 v3 v4) (coe (\ v0 v1 -> coe MAlonzo.Code.Type.C_'94'_34)) (\ v0 v1 -> coe MAlonzo.Code.Type.C_con_36 v1) -- Declarative._.sig2type d_sig2type_8 :: - MAlonzo.Code.Builtin.Signature.T_Sig_72 -> + MAlonzo.Code.Builtin.Signature.T_Sig_70 -> MAlonzo.Code.Type.T__'8866''8902'__20 d_sig2type_8 = coe - MAlonzo.Code.Builtin.Signature.du_sig2type_242 + MAlonzo.Code.Builtin.Signature.du_sig2type_240 (coe (\ v0 v1 v2 -> v2)) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.C_'96'_22 v3)) (\ v0 v1 v2 v3 v4 -> coe MAlonzo.Code.Type.C__'183'__30 v1 v3 v4) @@ -65,18 +66,18 @@ d_sig2typeΠ_10 :: MAlonzo.Code.Type.T__'8866''8902'__20 d_sig2typeΠ_10 = coe - MAlonzo.Code.Builtin.Signature.du_sig2typeΠ_228 + MAlonzo.Code.Builtin.Signature.du_sig2typeΠ_226 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.C_Π_24 v1 v2) -- Declarative._.sig2type⇒ d_sig2type'8658'_12 :: Integer -> Integer -> - [MAlonzo.Code.Builtin.Signature.T__'47'_'8866''8902'_26] -> + [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] -> MAlonzo.Code.Type.T__'8866''8902'__20 -> MAlonzo.Code.Type.T__'8866''8902'__20 d_sig2type'8658'_12 = coe - MAlonzo.Code.Builtin.Signature.du_sig2type'8658'_214 + MAlonzo.Code.Builtin.Signature.du_sig2type'8658'_212 (coe (\ v0 v1 v2 -> v2)) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.C_'96'_22 v3)) (\ v0 v1 v2 v3 v4 -> coe MAlonzo.Code.Type.C__'183'__30 v1 v3 v4) @@ -91,7 +92,7 @@ d_'8866''9839'2TyNe'9839'_14 :: MAlonzo.Code.Type.T__'8866''8902'__20 d_'8866''9839'2TyNe'9839'_14 = coe - MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_186 + MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_184 (coe (\ v0 v1 v2 -> v2)) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.C_'96'_22 v3)) (\ v0 v1 v2 v3 v4 -> coe MAlonzo.Code.Type.C__'183'__30 v1 v3 v4) @@ -116,7 +117,7 @@ d_btype_42 v0 v1 MAlonzo.Code.Type.RenamingSubstitution.d_sub'8709'_896 (coe v0) (coe MAlonzo.Code.Utils.C_'42'_778) (coe - MAlonzo.Code.Builtin.Signature.du_sig2type_242 + MAlonzo.Code.Builtin.Signature.du_sig2type_240 (coe (\ v2 v3 v4 -> v4)) (coe (\ v2 v3 v4 v5 -> coe MAlonzo.Code.Type.C_'96'_22 v5)) (\ v2 v3 v4 v5 v6 -> coe MAlonzo.Code.Type.C__'183'__30 v3 v5 v6) diff --git a/plutus-metatheory/src/MAlonzo/Code/RawU.hs b/plutus-metatheory/src/MAlonzo/Code/RawU.hs index 1746a29fbab..29d7d887f06 100644 --- a/plutus-metatheory/src/MAlonzo/Code/RawU.hs +++ b/plutus-metatheory/src/MAlonzo/Code/RawU.hs @@ -75,22 +75,22 @@ d_convSigTy_6 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 d_convSigTy_6 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 ~v7 ~v8 ~v9 ~v10 ~v11 ~v12 ~v13 ~v14 v15 = du_convSigTy_6 v15 du_convSigTy_6 :: - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 du_convSigTy_6 v0 = coe v0 -- RawU._.sig2type d_sig2type_8 :: - MAlonzo.Code.Builtin.Signature.T_Sig_72 -> + MAlonzo.Code.Builtin.Signature.T_Sig_70 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 d_sig2type_8 = coe - MAlonzo.Code.Builtin.Signature.du_sig2type_242 + MAlonzo.Code.Builtin.Signature.du_sig2type_240 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) @@ -113,7 +113,7 @@ d_sigTy2type_10 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> MAlonzo.Code.Utils.T__'8724'_'8803'__188 -> - MAlonzo.Code.Builtin.Signature.T_SigTy_266 -> + MAlonzo.Code.Builtin.Signature.T_SigTy_264 -> MAlonzo.Code.Type.BetaNormal.T__'8866'Nf'8902'__4 d_sigTy2type_10 ~v0 ~v1 ~v2 ~v3 ~v4 ~v5 ~v6 v7 ~v8 ~v9 ~v10 = du_sigTy2type_10 v7 @@ -129,7 +129,7 @@ d_'8866''9839'2TyNe'9839'_12 :: MAlonzo.Code.Type.BetaNormal.T__'8866'Ne'8902'__6 d_'8866''9839'2TyNe'9839'_12 = coe - MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_186 + MAlonzo.Code.Builtin.Signature.du_'8866''9839'2TyNe'9839'_184 (\ v0 v1 v2 -> coe MAlonzo.Code.Type.BetaNormal.C_ne_20 v2) (coe (\ v0 v1 v2 v3 -> coe MAlonzo.Code.Type.BetaNormal.C_'96'_8 v3)) diff --git a/plutus-metatheory/src/MAlonzo/Code/Untyped/CEK.hs b/plutus-metatheory/src/MAlonzo/Code/Untyped/CEK.hs index 599d2286159..f1c0cb2fb89 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Untyped/CEK.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Untyped/CEK.hs @@ -6203,7 +6203,7 @@ d_ival_988 v0 = coe d_V'45'I_258 (coe v0) (coe (0 :: Integer)) (coe - MAlonzo.Code.Builtin.Signature.d_fv_96 + MAlonzo.Code.Builtin.Signature.d_fv_94 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v0))) (coe MAlonzo.Code.Utils.C_start_192) (coe (0 :: Integer)) (coe @@ -6214,7 +6214,7 @@ d_ival_988 v0 (coe MAlonzo.Code.Data.List.NonEmpty.Base.d_tail_32 (coe - MAlonzo.Code.Builtin.Signature.d_args_86 + MAlonzo.Code.Builtin.Signature.d_args_84 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v0))))) (coe MAlonzo.Code.Utils.C_start_192) (coe C_base_94) -- Untyped.CEK.pushValueFrames diff --git a/plutus-metatheory/src/MAlonzo/Code/Untyped/CEKWithCost.hs b/plutus-metatheory/src/MAlonzo/Code/Untyped/CEKWithCost.hs index 4204ef56646..83cdc958b95 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Untyped/CEKWithCost.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Untyped/CEKWithCost.hs @@ -140,12 +140,12 @@ du_argsizes_68 v0 v1 (coe MAlonzo.Code.Utils.d_alldone_248 (coe - MAlonzo.Code.Builtin.Signature.d_fv_96 + MAlonzo.Code.Builtin.Signature.d_fv_94 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v0)))) (coe MAlonzo.Code.Utils.d_alldone_248 (coe - MAlonzo.Code.Builtin.Signature.d_args'9839'_92 + MAlonzo.Code.Builtin.Signature.d_args'9839'_90 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v0)))) (coe v1)) -- Untyped.CEKWithCost.stepC diff --git a/plutus-metatheory/src/MAlonzo/Code/Untyped/Reduction.hs b/plutus-metatheory/src/MAlonzo/Code/Untyped/Reduction.hs index 0fa0e25d188..6875c3ebbff 100644 --- a/plutus-metatheory/src/MAlonzo/Code/Untyped/Reduction.hs +++ b/plutus-metatheory/src/MAlonzo/Code/Untyped/Reduction.hs @@ -297,7 +297,7 @@ d_progress_532 v0 (coe MAlonzo.Code.Data.List.NonEmpty.Base.d_tail_32 (coe - MAlonzo.Code.Builtin.Signature.d_args_86 + MAlonzo.Code.Builtin.Signature.d_args_84 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v10))))) in @@ -305,12 +305,12 @@ d_progress_532 v0 (let v12 = addInt (coe - MAlonzo.Code.Builtin.Signature.d_fv'9839'_84 + MAlonzo.Code.Builtin.Signature.d_fv'9839'_82 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v10))) (coe - MAlonzo.Code.Builtin.Signature.d_fv'8902'_82 + MAlonzo.Code.Builtin.Signature.d_fv'8902'_80 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v10))) in @@ -1056,7 +1056,7 @@ d_progress_532 v0 (coe MAlonzo.Code.Data.List.NonEmpty.Base.d_tail_32 (coe - MAlonzo.Code.Builtin.Signature.d_args_86 + MAlonzo.Code.Builtin.Signature.d_args_84 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v12))))) in @@ -1064,12 +1064,12 @@ d_progress_532 v0 (let v14 = addInt (coe - MAlonzo.Code.Builtin.Signature.d_fv'9839'_84 + MAlonzo.Code.Builtin.Signature.d_fv'9839'_82 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v12))) (coe - MAlonzo.Code.Builtin.Signature.d_fv'8902'_82 + MAlonzo.Code.Builtin.Signature.d_fv'8902'_80 (coe MAlonzo.Code.Builtin.d_signature_298 (coe v12))) in