Remove the Logic submodule

This got rid of the Logic indirection rexporting the real module where
functions are coming from

Anoma.juvix

@@ -7,11 +7,8 @@ import Anoma.Transaction open public;
 import Anoma.Identity open public;
 import Anoma.Builtin.ByteArray open public;
 -- import Anoma.Compliance as Compliance public;
-import Anoma.Logic as Logic public;
 import Anoma.Delta as Delta public;
-import Anoma.Logic open using {Logic} public;
 import Anoma.Delta open using {Delta} public;
--- import Anoma.Logic open using {Logic} public;
 -- import Anoma.Delta open using {Delta} public;
 -- import Anoma.State open public;
 import Anoma.Random open public;

Applib/Helpers.juvix

@@ -15,27 +15,27 @@ import BaseLayer.ResourceMachine as BaseLayer;
 import Applib.Resource.Traits.Convertable open;
 
 findResourceByNullifier
-  (nf : Nat) (privateInputs : Logic.Witness) : Maybe Resource :=
+  (nf : Nat) (privateInputs : BaseLayer.Witness) : Maybe Resource :=
   let
     hasNullifier (nf : Nat) (r : Resource) : Bool := BaseLayer.nullifier r == nf;
     getConsumed (nf : Nat) : Maybe Resource :=
-      find (hasNullifier nf) (Logic.Witness.consumed privateInputs);
+      find (hasNullifier nf) (BaseLayer.Witness.consumed privateInputs);
   in getConsumed nf;
 
 findResourceByCommitment
-  (cm : Nat) (privateInputs : Logic.Witness) : Maybe Resource :=
+  (cm : Nat) (privateInputs : BaseLayer.Witness) : Maybe Resource :=
   let
     hasCommitment (cm : Nat) (r : Resource) : Bool := BaseLayer.commitment r == cm;
     getCreated (cm : Nat) : Maybe Resource :=
-      find (hasCommitment cm) (Logic.Witness.created privateInputs);
+      find (hasCommitment cm) (BaseLayer.Witness.created privateInputs);
   in getCreated cm;
 
 type ResourceStatus :=
   | NonExisting
   | CreatedRes Resource
   | ConsumedRes Resource;
 
-findResource (tag : Nat) (privateInputs : Logic.Witness) : ResourceStatus :=
+findResource (tag : Nat) (privateInputs : BaseLayer.Witness) : ResourceStatus :=
   case findResourceByNullifier tag privateInputs of
     | just consumed := ConsumedRes consumed
     | nothing :=
@@ -102,17 +102,17 @@ mkActionHelper
     commitments := map BaseLayer.commitment created;
     all-resources := zip consumed nullifiers ++ zip created commitments;
 
-    public-inputs : Nat -> Logic.Instance
+    public-inputs : Nat -> BaseLayer.Instance
       | tag :=
-        Logic.mkInstance@{
+        BaseLayer.mkInstance@{
           commitments;
           nullifiers;
           tag;
           app-data;
         };
 
     private :=
-      Logic.mkWitness@{
+      BaseLayer.mkWitness@{
         created;
         consumed;
         customInputs := 0;