WIP

utxo/src/lib.rs

@@ -1,21 +1,18 @@
 //! # Verax: A simple ledger database
 //!
-//! It is a simple Ledger database which aims to be a building block for
-//! financial products.
+//! It is a simple Ledger database which aims to be a building block for financial products.
 //!
-//! Verax uses a UTXO model (unspent transaction output), heavily inspired by
-//! Bitcoin. Having UTXO each account balance is isolated from the rest and it's
-//! easy to track the history of each payment. In Verax the terminology is
-//! slighly different, there are unspent payments instead of UTXO.
+//! Verax uses a UTXO model (unspent transaction output), heavily inspired by Bitcoin. Having UTXO
+//! each account balance is isolated from the rest and it's easy to track the history of each
+//! payment. In Verax the terminology is slighly different, there are unspent payments instead of
+//! UTXO.
 //!
-//! The data model is simple, any transaction spends one or many payments. Those
-//! payments cannot be spend again and are marked as spent. The transaction can
-//! be settled or not, if it's not settled it can be rolled back. Each
-//! transaction creates new payments that can be spend in the future by other
-//! transactions.
+//! The data model is simple, any transaction spends one or more unspent payments. Those payments
+//! cannot be spend again and are marked as spent. The transaction can be settled or not, if it's
+//! not settled it can be rolled back. Each transaction creates new payments that can be spend in
+//! the future by other transactions.
 //!
-//! Verax aims to be simple, auditable, cryptographically provable and human
-//! auditable friendly.
+//! Verax aims to be simple, auditable, cryptographically provable and human auditable friendly.
 
 #![deny(missing_docs)]
 #![deny(warnings)]

utxo/src/vm/state/mod.rs

@@ -89,7 +89,8 @@ impl<'a> Variable<'a> {
         }
     }
 
-    /// Whether the current variable is a meta variable (balances, accounts, transactions or payments)
+    /// Whether the current variable is a meta variable (balances, accounts, transactions or
+    /// payments)
     pub fn is_meta_variable(&self) -> bool {
         matches!(
             self,
@@ -117,7 +118,8 @@ pub trait Storage: Send + Sync {
     /// released when shutdown(execution_id is being called)
     async fn lock<'a>(&'a self, execution_id: usize, var: &'a Variable<'a>);
 
-    /// Gets a single value from the storage. The returned value should be locked by the execution_id
+    /// Gets a single value from the storage. The returned value should be locked by the
+    /// execution_id
     async fn get<'a>(&'a self, execution_id: usize, variable: Variable<'a>) -> Value;
 
     /// Sets a value in the storage. The variable should be locked by the