add prove-delta

Author: lukaszcz

BaseLayer/ResourceMachine.juvix

@@ -585,6 +585,9 @@ with
 
   builtin anoma-transaction-compose
   axiom compose (tx1 tx2 : Transaction) : Transaction;
+
+  builtin anoma-prove-delta
+  axiom proveDelta : Transaction -> Transaction;
 end;
 
 deriving instance