diff --git a/CHANGELOG.md b/CHANGELOG.md
index 80f05ac..77e8d2b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,7 @@
 # v0.x.y
 
+# v0.5.0
+
 - Updated toml to Aiken 1.1.0, stdlib main (v2.0.0 should be the tagged release)
 - addresses.from_wallet check if wallet is valid else it fails
 - All math related modules will be in the maths folder
diff --git a/README.md b/README.md
index 0b60f80..c0fa1c8 100644
--- a/README.md
+++ b/README.md
@@ -18,7 +18,7 @@ To start using the library, follow these steps:
 1. Import the library with the command:
 
 ```bash
-aiken packages add logical-mechanism/Assist --version v0.5.0
+aiken packages add logical-mechanism/assist --version v0.5.0
 ```
 
 - Stay up to date by updating the version to the newest tag when applicable, i.e. `v0.5.0` -> `v0.5.x`.
diff --git a/docs/cardano/addresses.html b/docs/cardano/addresses.html
index f5342d6..cf8cec1 100644
--- a/docs/cardano/addresses.html
+++ b/docs/cardano/addresses.html
@@ -331,6 +331,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -582,9 +590,9 @@ <h2 id="create_script_address"><pre class="hljs language-aiken">create_script_ad
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/cardano/certificates.html b/docs/cardano/certificates.html
index 0ce8732..77b2824 100644
--- a/docs/cardano/certificates.html
+++ b/docs/cardano/certificates.html
@@ -321,6 +321,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -532,9 +540,9 @@ <h2 id="delegate_credential"><pre class="hljs language-aiken">delegate_credentia
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/cardano/datum.html b/docs/cardano/datum.html
index 35e4881..16649bf 100644
--- a/docs/cardano/datum.html
+++ b/docs/cardano/datum.html
@@ -336,6 +336,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -601,9 +609,9 @@ <h2 id="output_datum_by_hash"><pre class="hljs language-aiken">output_datum_by_h
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/cardano/minting.html b/docs/cardano/minting.html
index 0d99cca..a2eb922 100644
--- a/docs/cardano/minting.html
+++ b/docs/cardano/minting.html
@@ -331,6 +331,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -593,9 +601,9 @@ <h2 id="is_occurring"><pre class="hljs language-aiken">is_occurring(
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/cardano/tx.html b/docs/cardano/tx.html
index 2a6e14e..6cd22fe 100644
--- a/docs/cardano/tx.html
+++ b/docs/cardano/tx.html
@@ -346,6 +346,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -653,9 +661,9 @@ <h2 id="total_token_amount"><pre class="hljs language-aiken">total_token_amount(
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/cardano/value.html b/docs/cardano/value.html
index 9027969..68dae9c 100644
--- a/docs/cardano/value.html
+++ b/docs/cardano/value.html
@@ -356,6 +356,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -688,9 +696,9 @@ <h2 id="prove_exact_nft"><pre class="hljs language-aiken">prove_exact_nft(
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/index.html b/docs/index.html
index 9bca02c..10d5b29 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -305,6 +305,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="./types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="./types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -373,7 +381,7 @@ <h2>Getting Started</h2>
 <ol>
 <li>Import the library with the command:</li>
 </ol>
-<pre><code class="language-bash">aiken packages add logical-mechanism/Assist --version v0.5.0
+<pre><code class="language-bash">aiken packages add logical-mechanism/assist --version v0.5.0
 </code></pre>
 <ul>
 <li>Stay up to date by updating the version to the newest tag when applicable, i.e. <code>v0.5.0</code> -&gt; <code>v0.5.x</code>.</li>
@@ -520,9 +528,9 @@ <h2>License</h2>
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="./js/lunr.min.js?v=1.1.0"></script>
-    <script src="./js/index.js?v=1725218259"></script>
+    <script src="./js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="./search-data.js?v=1725218259"></script>
+    <script src="./search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/maths/boolean.html b/docs/maths/boolean.html
index a4e2d17..3bb6228 100644
--- a/docs/maths/boolean.html
+++ b/docs/maths/boolean.html
@@ -356,6 +356,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -678,9 +686,9 @@ <h2 id="imply_"><pre class="hljs language-aiken">imply_(x: Int, y: Int) -&gt; In
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/maths/circuits.html b/docs/maths/circuits.html
index 90e3656..5d58c19 100644
--- a/docs/maths/circuits.html
+++ b/docs/maths/circuits.html
@@ -356,6 +356,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -670,9 +678,9 @@ <h2 id="imply_"><pre class="hljs language-aiken">imply_(x: Int, y: Int, p: Int)
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/maths/constants.html b/docs/maths/constants.html
index 71be793..7cd9792 100644
--- a/docs/maths/constants.html
+++ b/docs/maths/constants.html
@@ -318,6 +318,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -522,9 +530,9 @@ <h2 id="large_prime"><pre class="hljs language-aiken">large_prime: Int = 0x1a011
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/maths/routines.html b/docs/maths/routines.html
index d43c83b..3a37420 100644
--- a/docs/maths/routines.html
+++ b/docs/maths/routines.html
@@ -336,6 +336,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -596,9 +604,9 @@ <h2 id="from_int"><pre class="hljs language-aiken">from_int(self: Int) -&gt; Byt
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/search-data.js b/docs/search-data.js
index 305c25a..a8bf9df 100644
--- a/docs/search-data.js
+++ b/docs/search-data.js
@@ -1 +1 @@
-window.Aiken.initSearch([{"doc":"types/wallet","title":"to_vks","content":"to_vks(wallets: Wallets) -&gt; List&lt;VerificationKeyHash&gt;\n Convert a list of wallets into a list of public key hashes. This is useful\n when doing multisig validation. The output order respects the input order.\n\n ```aiken\n wallet.to_vks(datum.wallets)\n ```","url":"types/wallet.html#to_vks"},{"doc":"types/wallet","title":"is_valid","content":"is_valid(wallet: Wallet) -&gt; Bool\n Check if a wallet has a bad form and needs to be bypassed.\n The pkh must be the length 56 hex string and the sc is either empty or\n it is also a length 56 hex string.\n\n ```aiken\n wallet.is_valid(datum.wallet)\n ```","url":"types/wallet.html#is_valid"},{"doc":"types/wallet","title":"Wallet","content":"Wallet {\n  pkh: VerificationKeyHash,\n  sc: VerificationKeyHash,\n}\n A wallet type for a non-smart contract address.\nWallet { pkh: VerificationKeyHash, sc: VerificationKeyHash }\n","url":"types/wallet.html#Wallet"},{"doc":"types/wallet","title":"Wallets","content":"Wallets = List&lt;Wallet&gt;\n A list of wallets for non-smart contract addresses.\n","url":"types/wallet.html#Wallets"},{"doc":"types/wallet","title":"types/wallet","content":"","url":"types/wallet.html"},{"doc":"cardano/value","title":"from_token","content":"from_token(token: Token) -&gt; Value\n Creates a Value type from a token.\n\n ```aiken\n value.from_token(this_token)\n ```","url":"cardano/value.html#from_token"},{"doc":"cardano/value","title":"from_tokens","content":"from_tokens(tokens: Tokens) -&gt; Value\n Creates a Value type from a list of tokens.\n\n ```aiken\n value.from_tokens(redeemer.tokens)\n ```","url":"cardano/value.html#from_tokens"},{"doc":"cardano/value","title":"multiply","content":"multiply(val: Value, n: Int) -&gt; Value\n Multiply some value by `n`. This is just a linear scaling to the quantity\n of each token.\n\n ```aiken\n value.multiply(bundle_value, bundle_size)\n ```","url":"cardano/value.html#multiply"},{"doc":"cardano/value","title":"contains","content":"contains(total: Value, target: Value) -&gt; Bool\n Prove that the target value is contained inside another assets. Each token\n inside the target must exist inside the total assets. The quantity of each\n token must be at least the target amount or greater.\n\n ```aiken\n value.contains(total_value, target_value)\n ```","url":"cardano/value.html#contains"},{"doc":"cardano/value","title":"compute_hash","content":"compute_hash(target: Value) -&gt; ByteArray\n Compute the sha3_256 hash of a value by merklizing the policy id, asset\n name, and quantity. Empty values return the empty by string.\n\n ```aiken\n value.compute_hash(validating_value)\n ```","url":"cardano/value.html#compute_hash"},{"doc":"cardano/value","title":"unique_token_name","content":"unique_token_name(txid: TransactionId, idx: Int, prefix: ByteArray) -&gt; AssetName\n Calculate a unique token name from a `TxId#Idx` and prefix. Can be combined\n with the `find` module to create unique token names from the first input\n utxo inside the transaction.\n\n ```aiken\n value.unique_token_name(tx_id, tx_idx, cip68.prefix_333)\n ```","url":"cardano/value.html#unique_token_name"},{"doc":"cardano/value","title":"prove_nft","content":"prove_nft(total: Value, pid: PolicyId) -&gt; Bool\n Proves that inside some value there is a policy id with a single token\n name that has a quantity of 1. This will show that a value contains an\n NFT or something that is nft-like. Should be useful to prove that\n something is holding a token inside a transaction when the token name\n is assumed to be unique.\n\n ```aiken\n value.prove_nft(this_value, pid)\n ```","url":"cardano/value.html#prove_nft"},{"doc":"cardano/value","title":"prove_exact_nft","content":"prove_exact_nft(\n  total_value: Value,\n  nft_pid: PolicyId,\n  nft_tkn: AssetName,\n) -&gt; Bool\n Proves that inside some value there is a policy id with token\n name that has a quantity of 1. This will show that a value contains an\n NFT or something that is nft-like. Should be useful to prove that\n something is holding a token inside a transaction when the policy id and\n token name is known.\n\n ```aiken\n value.prove_exact_nft(that_value, pid, tkn)\n ```","url":"cardano/value.html#prove_exact_nft"},{"doc":"cardano/value","title":"cardano/value","content":" This module contains code that aids in various value \n manipulations and comparisons.\n","url":"cardano/value.html"},{"doc":"cardano/certificates","title":"delegate_credential","content":"delegate_credential(sc: ScriptHash, pool_id: StakePoolId) -&gt; Certificate\n Creates a credential delegation for changing the location of the stake.\n This certificate can be used to check if stake is being delegated to\n a specific pool.\n\n ```aiken\n certificates.create_credential_delegation(datum.contract_hash, datum.pool_id)\n ```","url":"cardano/certificates.html#delegate_credential"},{"doc":"cardano/certificates","title":"cardano/certificates","content":" This module incorporates code for generating valid certificates,\n ensuring their correctness. \n","url":"cardano/certificates.html"},{"doc":"cardano/datum","title":"input_datum","content":"input_datum(possible_input: Input) -&gt; Data\n Find the datum data on an input or error. The data is assumed\n to be an inline datum.\n\n ```aiken\n expect datum: Datum = datum.input_datum(this_input)\n ```","url":"cardano/datum.html#input_datum"},{"doc":"cardano/datum","title":"input_datum_by_hash","content":"input_datum_by_hash(\n  possible_input: Input,\n  datums: Dict&lt;Hash&lt;Blake2b_256, Data&gt;, Data&gt;,\n) -&gt; Data\n Find the datum data on a input by the datum hash or error. The\n data is assumed to be embedded data and must be referenced by\n its hash.\n\n ```aiken\n expect datum: Datum = datum.input_datum_by_hash(this_input, these_datums)\n ```","url":"cardano/datum.html#input_datum_by_hash"},{"doc":"cardano/datum","title":"output_datum","content":"output_datum(possible_output: Output) -&gt; Data\n Find the datum data on an output or error. The data is assumed\n to be an inline datum.\n\n ```aiken\n expect datum: Datum = datum.output_datum(that_output)\n ```","url":"cardano/datum.html#output_datum"},{"doc":"cardano/datum","title":"output_datum_by_hash","content":"output_datum_by_hash(\n  possible_output: Output,\n  datums: Dict&lt;Hash&lt;Blake2b_256, Data&gt;, Data&gt;,\n) -&gt; Data\n Find the datum data on an output or error. The data is assumed\n to be embedded.\n\n ```aiken\n expect datum: Datum = datum.output_datum_by_hash(that_output, these_datums)\n ```","url":"cardano/datum.html#output_datum_by_hash"},{"doc":"cardano/datum","title":"cardano/datum","content":" This module contains code for extracting data from a potential inline \n datum found in either an input or output.\n","url":"cardano/datum.html"},{"doc":"cardano/addresses","title":"from_wallet","content":"from_wallet(wallet: Wallet) -&gt; Address\n Creates an address from the Wallet type. This should be used primairly for\n creating an address as the Wallet type has a `is_valid` function that should\n be used in the same validaiton.\n\n ```aiken\n let addr: Address = addresses.from_wallet(this_wallet)\n ```","url":"cardano/addresses.html#from_wallet"},{"doc":"cardano/addresses","title":"create_address","content":"create_address(pkh: VerificationKeyHash, sc: VerificationKeyHash) -&gt; Address\n Creates a enterprise or base address from the public key hash and stake\n address. An empty sc means enterpise address by default. This function\n assumes proper key lengths for `pkh`.Address types should be generated from\n the Wallet type so proper length checks are done with the `wallet.is_valid`\n function located in `types/wallet.ak`.\n\n\n ```aiken\n addresses.create_address(datum.wallet.pkh, datum.wallet.sc)\n ```","url":"cardano/addresses.html#create_address"},{"doc":"cardano/addresses","title":"create_script_address","content":"create_script_address(vkh: ScriptHash, sc: ScriptHash) -&gt; Address\n Creates a script address for a smart contract. The type does not mix\n address types. Staking credentials are assumed to be smart contracts. An \n empty stake credential or bad length stake credential is invalid and will\n be assumed to be not staked. This function assumes proper key lengths for `vkh`.\n\n ```aiken\n addresses.create_script_address(datum.script.vkh, datum.script.sc)\n ```","url":"cardano/addresses.html#create_script_address"},{"doc":"cardano/addresses","title":"cardano/addresses","content":" This module incorporates code for generating valid wallet and script \n addresses, ensuring their correctness. Empty keys are treated as \n intentional, and address subtypes are not combined nor mixed. The key\n lengths must be valid as these functions will ignore invalid key\n keys when generating Address types.\n","url":"cardano/addresses.html"},{"doc":"maths/circuits","title":"and_","content":"and_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `AND` operation on two integer values within an arithmetic circuit.\n\n ```aiken\n circuits.and_(1, 1, p)\n ```","url":"maths/circuits.html#and_"},{"doc":"maths/circuits","title":"or_","content":"or_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `OR` operation on two integer values within an arithmetic circuit..\n \n ```aiken\n circuits.or_(0, 1, p)\n ```","url":"maths/circuits.html#or_"},{"doc":"maths/circuits","title":"not_","content":"not_(x: Int, p: Int) -&gt; Int\n Performs a logical `NOT` operation on an integer value within an arithmetic circuit.\n\n ```aiken\n circuits.not_(1, p)\n ```","url":"maths/circuits.html#not_"},{"doc":"maths/circuits","title":"xor_","content":"xor_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `XOR` operation on two integer values within an arithmetic circuit.\n\n ```aiken\n circuits.xor_(0, 1, p)\n ```","url":"maths/circuits.html#xor_"},{"doc":"maths/circuits","title":"nand_","content":"nand_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `NAND` operation on two integer values within an arithmetic circuit.\n \n ```aiken\n circuits.nand_(1, 1, p)\n ```","url":"maths/circuits.html#nand_"},{"doc":"maths/circuits","title":"nor_","content":"nor_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `NOR` operation on two integer values within an arithmetic circuit.\n \n ```aiken\n circuits.nor_(0, 0, p)\n ```","url":"maths/circuits.html#nor_"},{"doc":"maths/circuits","title":"xnor_","content":"xnor_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `XNOR` operation on two integer values within an arithmetic circuit.\n \n ```aiken\n circuits.xnor_(1, 1, p)\n ```","url":"maths/circuits.html#xnor_"},{"doc":"maths/circuits","title":"imply_","content":"imply_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical implication operation on two integer values within an arithmetic circuit.\n \n ```aiken\n circuits.imply_(1, 0, p)\n ```","url":"maths/circuits.html#imply_"},{"doc":"maths/circuits","title":"maths/circuits","content":" This module contains code to do arithmetic circuit logic on integers.\n All values are assumed to be positive and p is a prime.\n","url":"maths/circuits.html"},{"doc":"maths/boolean","title":"and_","content":"and_(x: Int, y: Int) -&gt; Int\n Performs a logical `AND` operation on two integer values.\n Expects both inputs as binary (0 or 1) and returns 1 if both are 1, otherwise returns 0.\n\n ```aiken\n boolean.and_(1, 1)\n ```","url":"maths/boolean.html#and_"},{"doc":"maths/boolean","title":"or_","content":"or_(x: Int, y: Int) -&gt; Int\n Performs a logical `OR` operation on two integer values.\n Expects both inputs as binary (0 or 1) and returns 1 if at least one input is 1, otherwise returns 0.\n \n ```aiken\n boolean.or_(0, 1)\n ```","url":"maths/boolean.html#or_"},{"doc":"maths/boolean","title":"not_","content":"not_(x: Int) -&gt; Int\n Performs a logical `NOT` operation on an integer value.\n Expects the input as binary (0 or 1) and returns the inverse (1 becomes 0, 0 becomes 1).\n\n ```aiken\n boolean.not_(1)\n ```","url":"maths/boolean.html#not_"},{"doc":"maths/boolean","title":"xor_","content":"xor_(x: Int, y: Int) -&gt; Int\n Performs a logical `XOR` operation on two integer values.\n Expects both inputs as binary (0 or 1) and returns 1 if the inputs are different, otherwise returns 0.\n\n ```aiken\n boolean.xor_(0, 1)\n ```","url":"maths/boolean.html#xor_"},{"doc":"maths/boolean","title":"nand_","content":"nand_(x: Int, y: Int) -&gt; Int\n Performs a logical `NAND` operation on two integer values.\n Returns 1 if at least one input is 0, otherwise returns 0.\n \n ```aiken\n boolean.nand_(1, 1)\n ```","url":"maths/boolean.html#nand_"},{"doc":"maths/boolean","title":"nor_","content":"nor_(x: Int, y: Int) -&gt; Int\n Performs a logical `NOR` operation on two integer values.\n Returns 1 if both inputs are 0, otherwise returns 0.\n \n ```aiken\n boolean.nor_(0, 0)\n ```","url":"maths/boolean.html#nor_"},{"doc":"maths/boolean","title":"xnor_","content":"xnor_(x: Int, y: Int) -&gt; Int\n Performs a logical `XNOR` operation on two integer values.\n Returns 1 if the inputs are the same, otherwise returns 0.\n \n ```aiken\n boolean.xnor_(1, 1)\n ```","url":"maths/boolean.html#xnor_"},{"doc":"maths/boolean","title":"imply_","content":"imply_(x: Int, y: Int) -&gt; Int\n Performs a logical implication operation on two integer values.\n Returns 1 if the first input is false or both inputs are true, otherwise returns 0.\n \n ```aiken\n boolean.imply_(1, 0)\n ```","url":"maths/boolean.html#imply_"},{"doc":"maths/boolean","title":"maths/boolean","content":" This module contains code to do boolean logic on integers.\n Boolean logic here is the special case of arithmetic circuit logic with p = 2.\n","url":"maths/boolean.html"},{"doc":"types/cip68","title":"get","content":"get(cip68: CIP68, key: Data) -&gt; Data\n Attempt to find a data structure by a key inside the cip68 metadatum. If\n nothing is found then fail.\n\n ```aiken\n cip68.get(metadatum, some_key)\n ```","url":"types/cip68.html#get"},{"doc":"types/cip68","title":"version","content":"version(metadata: CIP68) -&gt; Int\n Return the version of the metadata.\n\n ```aiken\n metadatum |&gt; cip68.version\n ```","url":"types/cip68.html#version"},{"doc":"types/cip68","title":"CIP68","content":"CIP68 {\n  metadata: Pairs&lt;Data, Data&gt;,\n  version: Int,\n}\n The generic CIP68 metadatum type as defined in the CIP at\n https://cips.cardano.org/cips/cip68/.\nCIP68 { metadata: Pairs&lt;Data, Data&gt;, version: Int }\n","url":"types/cip68.html#CIP68"},{"doc":"types/cip68","title":"prefix_100","content":"prefix_100: ByteArray = #&quot;000643b0&quot;\n (100) Reference Token Prefix\n https://developers.cardano.org/docs/governance/cardano-improvement-proposals/cip-0068/#222-nft-standard","url":"types/cip68.html#prefix_100"},{"doc":"types/cip68","title":"prefix_222","content":"prefix_222: ByteArray = #&quot;000de140&quot;\n (222) Non-Fungible Token Prefix\n https://developers.cardano.org/docs/governance/cardano-improvement-proposals/cip-0068/#222-nft-standard","url":"types/cip68.html#prefix_222"},{"doc":"types/cip68","title":"prefix_333","content":"prefix_333: ByteArray = #&quot;0014df10&quot;\n (333) Fungible Token Prefix\n https://developers.cardano.org/docs/governance/cardano-improvement-proposals/cip-0068/#333-ft-standard","url":"types/cip68.html#prefix_333"},{"doc":"types/cip68","title":"prefix_444","content":"prefix_444: ByteArray = #&quot;001bc280&quot;\n (444) Rich-Fungible Token Prefix\n https://developers.cardano.org/docs/governance/cardano-improvement-proposals/cip-0068/#333-ft-standard","url":"types/cip68.html#prefix_444"},{"doc":"types/cip68","title":"types/cip68","content":"","url":"types/cip68.html"},{"doc":"tests/fake_tx","title":"test_out_ref","content":"test_out_ref() -&gt; OutputReference\n Creates an `OutputReference`","url":"tests/fake_tx.html#test_out_ref"},{"doc":"tests/fake_tx","title":"test_bad_out_ref","content":"test_bad_out_ref() -&gt; OutputReference\n Creates an `OutputReference`","url":"tests/fake_tx.html#test_bad_out_ref"},{"doc":"tests/fake_tx","title":"test_inputs","content":"test_inputs(amt: Int) -&gt; List&lt;Input&gt;\n A fake input used for testing.","url":"tests/fake_tx.html#test_inputs"},{"doc":"tests/fake_tx","title":"test_input","content":"test_input() -&gt; Input\n A fake input used for testing.","url":"tests/fake_tx.html#test_input"},{"doc":"tests/fake_tx","title":"test_script_input","content":"test_script_input() -&gt; Input\n A fake input used for testing.","url":"tests/fake_tx.html#test_script_input"},{"doc":"tests/fake_tx","title":"test_input_with_datum_hash","content":"test_input_with_datum_hash() -&gt; Input\n A fake input with a datum hash.","url":"tests/fake_tx.html#test_input_with_datum_hash"},{"doc":"tests/fake_tx","title":"test_bad_input","content":"test_bad_input() -&gt; Input\n A fake input without datum used for testing.","url":"tests/fake_tx.html#test_bad_input"},{"doc":"tests/fake_tx","title":"test_one_lovelace_input","content":"test_one_lovelace_input() -&gt; Input\n","url":"tests/fake_tx.html#test_one_lovelace_input"},{"doc":"tests/fake_tx","title":"test_bad_inputs","content":"test_bad_inputs() -&gt; List&lt;Input&gt;\n","url":"tests/fake_tx.html#test_bad_inputs"},{"doc":"tests/fake_tx","title":"test_output","content":"test_output() -&gt; Output\n A fake output used for testing.","url":"tests/fake_tx.html#test_output"},{"doc":"tests/fake_tx","title":"test_output_with_datum_hash","content":"test_output_with_datum_hash() -&gt; Output\n","url":"tests/fake_tx.html#test_output_with_datum_hash"},{"doc":"tests/fake_tx","title":"test_bad_output","content":"test_bad_output() -&gt; Output\n A fake output without datum used for testing.","url":"tests/fake_tx.html#test_bad_output"},{"doc":"tests/fake_tx","title":"test_bad_outputs","content":"test_bad_outputs() -&gt; List&lt;Output&gt;\n","url":"tests/fake_tx.html#test_bad_outputs"},{"doc":"tests/fake_tx","title":"test_signatories","content":"test_signatories() -&gt; List&lt;ByteArray&gt;\n A fake list of tx signers","url":"tests/fake_tx.html#test_signatories"},{"doc":"tests/fake_tx","title":"test_tx","content":"test_tx() -&gt; Transaction\n A fake transaction used for testing.","url":"tests/fake_tx.html#test_tx"},{"doc":"tests/fake_tx","title":"DataType","content":"DataType = Data\n A `Data`data type\n","url":"tests/fake_tx.html#DataType"},{"doc":"tests/fake_tx","title":"test_datum","content":"test_datum: ByteArray = #&quot;acabbeeffacecafe&quot;\n A test datum.","url":"tests/fake_tx.html#test_datum"},{"doc":"tests/fake_tx","title":"tests/fake_tx","content":" This is for testing only.\n","url":"tests/fake_tx.html"},{"doc":"maths/constants","title":"large_prime","content":"large_prime: Int = 0x1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab\n A large prime number. The value is near 4 x 10^114.","url":"maths/constants.html#large_prime"},{"doc":"maths/constants","title":"maths/constants","content":"","url":"maths/constants.html"},{"doc":"validation/count","title":"inputs_by_datum","content":"inputs_by_datum(inputs: List&lt;Input&gt;, amount: Int) -&gt; Bool\n Verify that the number of inputs with an inline datum or datum hash is equal to the\n number intended in the contract. The amount must be exactly the counter.\n\n ```aiken\n count.inputs_by_datum(tx.inputs, 1)\n ```","url":"validation/count.html#inputs_by_datum"},{"doc":"validation/count","title":"inputs_by_vkh","content":"inputs_by_vkh(inputs: List&lt;Input&gt;, amount: Int) -&gt; Bool\n Count the number of inputs with a payment credential that is a script.\n This does not take in an address but is a general count of validator hashes.\n\n ```aiken\n count.inputs_by_vkh(tx.inputs, 1)\n ```","url":"validation/count.html#inputs_by_vkh"},{"doc":"validation/count","title":"outputs_by_vkh","content":"outputs_by_vkh(outputs: List&lt;Output&gt;, amount: Int) -&gt; Bool\n Count the number of outputs with a payment credential that is a script.\n This does not take in an address but is a general count of validator hashes.\n\n ```aiken\n count.outputs_by_vkh(tx.outputs, 1)\n ```","url":"validation/count.html#outputs_by_vkh"},{"doc":"validation/count","title":"inputs_by_addr","content":"inputs_by_addr(inputs: List&lt;Input&gt;, addr: Address, amount: Int) -&gt; Bool\n Verify that the number of inputs from a specific script is equal to the\n amount intended in the contract. The amount must be exactly the counter.\n\n ```aiken\n count.inputs_by_addr(tx.inputs, this_addr, 1)\n ```","url":"validation/count.html#inputs_by_addr"},{"doc":"validation/count","title":"outputs_by_addr","content":"outputs_by_addr(outputs: List&lt;Output&gt;, addr: Address, amount: Int) -&gt; Bool\n Verify that the number of outputs from a specific script is equal the amount\n intended in the contract. The amount must be exact with the counter.\n\n ```aiken\n count.outputs_by_addr(tx.outputs, this_addr, 1)\n ```","url":"validation/count.html#outputs_by_addr"},{"doc":"validation/count","title":"outputs_by_datum","content":"outputs_by_datum(outputs: List&lt;Output&gt;, amount: Int) -&gt; Bool\n Verify that the number of outputs with an inline datum or datum hash is equal to the\n number intended in the contract. The amount must be exactly the counter.\n\n ```aiken\n count.outputs_by_datum(tx.outputs, 1)\n ```","url":"validation/count.html#outputs_by_datum"},{"doc":"validation/count","title":"single_input_with_bypass","content":"single_input_with_bypass(\n  inputs: List&lt;Input&gt;,\n  this_addr: Address,\n  those_addrs: List&lt;Address&gt;,\n) -&gt; Bool\n The contract can only be spent by itself or along side some list of know \n addresses. Loop all the inputs and count how many datums belong to this \n address. If any of those addresses exists then pass right over them but if \n anything else is found then fail. This should prevent unregulated contracts\n from being spent along side this script.\n\n ```aiken\n count.single_input_with_bypass(this_tx.inputs, this_addr, [that_addr])\n ```\n","url":"validation/count.html#single_input_with_bypass"},{"doc":"validation/count","title":"validation/count","content":" This module contains code to accurately count the number of inputs and\n outputs in a transaction containing an address or a datum.\n","url":"validation/count.html"},{"doc":"cardano/minting","title":"exact","content":"exact(\n  flat: List&lt;(PolicyId, AssetName, Int)&gt;,\n  pid: PolicyId,\n  tkn: AssetName,\n  amt: Int,\n) -&gt; Bool\n This checks if a specific policy id, token name, and amount exist inside\n the flattened exact assets. It is searching for an exact match. If found\n then it returns True else False.\n\n ```aiken\n minting.exact(flatten_mint_value, pid, tkn, 1)\n ```","url":"cardano/minting.html#exact"},{"doc":"cardano/minting","title":"by_prefix","content":"by_prefix(\n  flat: List&lt;(PolicyId, AssetName, Int)&gt;,\n  pid: PolicyId,\n  prefix: AssetName,\n  amt: Int,\n) -&gt; Bool\n This checks if a specific policy id, prefix, and amount exist inside\n the flattened exact assets. Instead of searching for exact match, it\n checks if the token name has the correct prefix. This works if\n every token name on the policy id is unique. If found then it returns\n True else False.\n\n ```aiken\n minting.by_prefix(flatten_mint_value, pid, tkn, 1)\n ```","url":"cardano/minting.html#by_prefix"},{"doc":"cardano/minting","title":"is_occurring","content":"is_occurring(\n  flat: List&lt;(PolicyId, AssetName, Int)&gt;,\n  pid: PolicyId,\n  tkn: AssetName,\n) -&gt; Bool\n Prove that a transaction is minting something from a specific policy id \n and token name but the amount does not matter. This is great for lock-n-mint\n style contracts where some logic just needs to check if a mint is occuring\n but not the specifics of the amount being minted or burned. If a mint is\n occurring then it will return True else False.\n\n ```aiken\n minting.is_occurring(flatten_mint_value, pid, tkn)\n ```","url":"cardano/minting.html#is_occurring"},{"doc":"cardano/minting","title":"cardano/minting","content":" This module incorporates code for various minting and burning validations.\n","url":"cardano/minting.html"},{"doc":"types/token","title":"negative","content":"negative(tkn: Token) -&gt; Token\n Give the negative of a token.\n\n ```aiken\n token.negative(this_token)\n ```","url":"types/token.html#negative"},{"doc":"types/token","title":"negate","content":"negate(tokens: Tokens) -&gt; Tokens\n Negate all the tokens in the list.\n\n ```aiken\n token.negate(these_tokens)\n ```","url":"types/token.html#negate"},{"doc":"types/token","title":"divide","content":"divide(token: Token, n: Int) -&gt; Token\n Divide a token by some integer. The divisor must be positive. This is\n integer division so the token amount will be rounded towards negative \n infinity.\n\n ```aiken\n token.divide(that_token, 2)\n ```","url":"types/token.html#divide"},{"doc":"types/token","title":"multiply","content":"multiply(token: Token, n: Int) -&gt; Token\n Multiply a token by some integer. This linearly scales the token amount\n on the token.\n\n ```aiken\n token.multiply(that_token, 4)\n ```","url":"types/token.html#multiply"},{"doc":"types/token","title":"subtraction_only","content":"subtraction_only(tokens: Tokens) -&gt; Bool\n Check that each token is less than zero in a list tokens.\n\n ```aiken\n token.subtraction_only(redeemer.tokens)\n ```","url":"types/token.html#subtraction_only"},{"doc":"types/token","title":"addition_only","content":"addition_only(tokens: Tokens) -&gt; Bool\n Check that each token is greater than zero in a list tokens.\n\n ```aiken\n token.addition_only(redeemer.tokens)\n ```","url":"types/token.html#addition_only"},{"doc":"types/token","title":"add_token_to_value","content":"add_token_to_value(the_value: Value, token: Token) -&gt; Value\n Add a Token type to a Value type. This should be a very safe way to\n increment a value on a UTxO. The other option is having the redeemer be \n the general Value type and potentially allow badly formed values to be used.\n\n ```aiken\n add_token_to_value(token, this_value)\n ```","url":"types/token.html#add_token_to_value"},{"doc":"types/token","title":"add_tokens_to_value","content":"add_tokens_to_value(the_value: Value, tokens: Tokens) -&gt; Value\n Add a list of Token types to a Value type. This should be a very safe way to\n increment a value on a UTxO. The other option is having the redeemer be \n the general Value type and potentially allow badly formed values to be used.\n\n ```aiken\n add_tokens_to_value(redeemer.tokens, this_value)\n ```","url":"types/token.html#add_tokens_to_value"},{"doc":"types/token","title":"from_value","content":"from_value(v: Value) -&gt; Tokens\n Convert a value into a list of tokens. This conversation is a fast way\n to be able to do multiplication on a assets.\n\n ```aiken\n token.from_value(this_value)\n ```","url":"types/token.html#from_value"},{"doc":"types/token","title":"exists","content":"exists(total: Tokens, target: Token) -&gt; Bool\n Check if a Token exists in a list of Tokens. The amount has to be greater\n than or equal to the target.\n\n ```aiken\n token.exists(total_tokens, target_token )\n ```","url":"types/token.html#exists"},{"doc":"types/token","title":"contains","content":"contains(total: Tokens, target: Tokens) -&gt; Bool\n Check if a target list of tokens exist inside another list of tokens.\n The token amount must be greater than or equal to the target amount. If\n nothing is found then it returns False.\n\n ```aiken\n token.contains(total, target)\n ```","url":"types/token.html#contains"},{"doc":"types/token","title":"Token","content":"Token {\n  pid: PolicyId,\n  tkn: AssetName,\n  amt: Int,\n}\n A token type for a safe single policy id and asset name assets.\nToken { pid: PolicyId, tkn: AssetName, amt: Int }\n","url":"types/token.html#Token"},{"doc":"types/token","title":"Tokens","content":"Tokens = List&lt;Token&gt;\n A tokens type for a safe value as a list of Tokens.\n","url":"types/token.html#Tokens"},{"doc":"types/token","title":"types/token","content":" A Token is a safe type for some asset on Cardano. A Token can be combined\n with another Token to form Tokens, a list of Token.  This should be a safe\n and clean way to build out the value type inside of datums and redeemers \n instead of building out the value type directly which could be harmful.\n","url":"types/token.html"},{"doc":"validation/find","title":"first_input_index","content":"first_input_index(inputs: List&lt;Input&gt;) -&gt; Int\n Find the first input&#39;s output reference index.\n Output references have the form `TxId#Idx`, this function\n extracts the `Idx` part. If nothing is found then error.\n\n ```aiken\n find.first_input_index(tx.inputs)\n ```","url":"validation/find.html#first_input_index"},{"doc":"validation/find","title":"first_input_txid","content":"first_input_txid(inputs: List&lt;Input&gt;) -&gt; ByteArray\n Find the first input&#39;s output reference transaction id hash.\n Output references have the form `TxId#Idx`, this function\n extracts the `TxId` part. If nothing is found then error.\n\n ```aiken\n find.first_input_txid(tx.inputs)\n ```","url":"validation/find.html#first_input_txid"},{"doc":"validation/find","title":"input_by_ref","content":"input_by_ref(inputs: List&lt;Input&gt;, out_ref: OutputReference) -&gt; Input\n Find an input by an output reference. If nothing is found then error. \n Similar to the builtin function in stdlib but auto errors instead of\n returning an `Option`.\n\n ```aiken\n find.input_by_ref(tx.inputs, out_ref)\n ```","url":"validation/find.html#input_by_ref"},{"doc":"validation/find","title":"input_by_addr","content":"input_by_addr(inputs: List&lt;Input&gt;, addr: Address) -&gt; Input\n Find the first occurrence of an input by a specific address. If nothing\n is found then error. The address here is an exact match, so both the\n pkh and sc need to be correct.\n\n ```aiken\n find.input_by_addr(tx.reference_inputs, ref_addr)\n ```","url":"validation/find.html#input_by_addr"},{"doc":"validation/find","title":"output_by_addr","content":"output_by_addr(outputs: List&lt;Output&gt;, addr: Address) -&gt; Output\n Find the first occurrence of an output by a specific address. If nothing\n is found then error. The address here is an exact match.\n\n ```aiken\n find.output_by_addr(tx.outputs, your_address)\n ```","url":"validation/find.html#output_by_addr"},{"doc":"validation/find","title":"first_output_datum","content":"first_output_datum(outputs: List&lt;Output&gt;) -&gt; Data\n Find the first output with an inline datum and return the datum.\n If nothing is found then error. This works great for tx with a\n single output and datum or where ordering is irrelevant.\n\n ```aiken\n find.first_output_datum(tx.outputs)\n ```","url":"validation/find.html#first_output_datum"},{"doc":"validation/find","title":"output_datum_by_addr","content":"output_datum_by_addr(outputs: List&lt;Output&gt;, addr: Address) -&gt; Data\n Find the first occurence of output datum by some address. If nothing is\n found then error.\n\n ```aiken\n expect datum: Datum = find.output_datum_by_addr(tx.outputs, this_addr)\n ```","url":"validation/find.html#output_datum_by_addr"},{"doc":"validation/find","title":"output_by_addr_value","content":"output_by_addr_value(\n  outputs: List&lt;Output&gt;,\n  addr: Address,\n  value: Value,\n) -&gt; Output\n Return the first occurrence of an output that contains at least some specific\n value at some address. If nothing is found then error. This function\n does not search for an exact UTxO match.\n\n ```aiken\n find.output_by_addr_value(tx.outputs, wallet_addr, just_token_value)\n ```","url":"validation/find.html#output_by_addr_value"},{"doc":"validation/find","title":"output_by_value","content":"output_by_value(outputs: List&lt;Output&gt;, value: Value) -&gt; Output\n Return the first occurrence of an output that contains at least some specific\n value. If nothing is found then error. This function\n does not search for an exact UTxO match.\n\n ```aiken\n find.output_by_value(tx.outputs, just_token_value)\n ```","url":"validation/find.html#output_by_value"},{"doc":"validation/find","title":"stake_reward_by_sc","content":"stake_reward_by_sc(\n  withdraws: Pairs&lt;Credential, Int&gt;,\n  stake_credential: Credential,\n) -&gt; Int\n Find the staking reward amount in loveace for some stake credential.\n If no rewards are available then error. This is a great method for\n checking on-chain staking rewards and withdrawal validation.\n\n ```aiken\n find.stake_reward_by_sc(tx.withdrawals, datum.wallet.sc)\n ```","url":"validation/find.html#stake_reward_by_sc"},{"doc":"validation/find","title":"redeemer_by_ref","content":"redeemer_by_ref(\n  redeemers: Pairs&lt;ScriptPurpose, Redeemer&gt;,\n  out_ref: OutputReference,\n) -&gt; Data\n Find a redeemer data by an output reference. This is good for checking\n if a specific redeemer is being used on some specific UTxO inside \n the transaction.\n\n ```aiken\n find.redeemer_by_ref(tx.redeemers, that_out_ref)\n ```","url":"validation/find.html#redeemer_by_ref"},{"doc":"validation/find","title":"output_datum_by_nft","content":"output_datum_by_nft(\n  outputs: List&lt;Output&gt;,\n  pid: PolicyId,\n  tkn: AssetName,\n) -&gt; Data\n Find the first occurance of an inline datum on an output with a value \n that contains a specific nft.","url":"validation/find.html#output_datum_by_nft"},{"doc":"validation/find","title":"input_by_nft","content":"input_by_nft(inputs: List&lt;Input&gt;, pid: PolicyId, tkn: AssetName) -&gt; Input\n Find the first occurance of an inline datum on an output with a value \n that contains a specific nft.","url":"validation/find.html#input_by_nft"},{"doc":"validation/find","title":"validation/find","content":" This module contains code for finding various aspects of \n a validating transaction.\n","url":"validation/find.html"},{"doc":"types/prefixes","title":"callable","content":"callable: ByteArray = #&quot;ca11ab1e&quot;\n Callable Token Prefix","url":"types/prefixes.html#callable"},{"doc":"types/prefixes","title":"database","content":"database: ByteArray = #&quot;da7aba5e&quot;\n Database Token Prefix","url":"types/prefixes.html#database"},{"doc":"types/prefixes","title":"seed","content":"seed: ByteArray = #&quot;5eed0e1f&quot;\n Seed Token Prefix","url":"types/prefixes.html#seed"},{"doc":"types/prefixes","title":"types/prefixes","content":" This module provides token prefixes for labeling unique tokens.\n","url":"types/prefixes.html"},{"doc":"cardano/tx","title":"output_reference","content":"output_reference(tx_id_hash: ByteArray, idx: Int) -&gt; OutputReference\n Create an `OutputReference` from the `TxId#Idx` information. This is useful\n for building correct output references of specific UTxOs. It can be combined\n with the `find` module for some very convenient requests.\n\n ```aiken\n tx.output_reference(that_tx_id, that_tx_idx)\n ```","url":"cardano/tx.html#output_reference"},{"doc":"cardano/tx","title":"verify_signature","content":"verify_signature(\n  vks: List&lt;VerificationKeyHash&gt;,\n  vk: VerificationKeyHash,\n) -&gt; Bool\n Check if the list of signatures inside a transaction contains the\n verification key.\n\n ```aiken\n tx.verify_signature(context.transaction, wallet_pkh)\n ```","url":"cardano/tx.html#verify_signature"},{"doc":"cardano/tx","title":"verify_multisig","content":"verify_multisig(\n  sigs: List&lt;VerificationKeyHash&gt;,\n  vks: List&lt;VerificationKeyHash&gt;,\n  minimum: Int,\n) -&gt; Bool\n This counts the number of signatures inside a transaction that are from \n the list of signers then checks if its at least the minimum amount.\n\n ```aiken\n tx.verify_multisig(context.transaction, lst_of_sigs, sig_threshold)\n ```","url":"cardano/tx.html#verify_multisig"},{"doc":"cardano/tx","title":"is_spending_input","content":"is_spending_input(inputs: List&lt;Input&gt;, out_ref: OutputReference) -&gt; Bool\n Check if a specific input by output reference is being spent. This is useful\n when a minting script requires a utxo to be spent but doesn&#39;t need any specific\n information about that input.\n\n ```aiken\n tx.is_spending_input(tx.inputs, output_reference)\n ```","url":"cardano/tx.html#is_spending_input"},{"doc":"cardano/tx","title":"not_being_spent_from","content":"not_being_spent_from(\n  validator_hashes: List&lt;ScriptHash&gt;,\n  inputs: List&lt;Input&gt;,\n) -&gt; Bool\n Given a set of validator hashes prove that none of them are being spent. Assume\n every address is not staked and that the is list is complete.\n\n ```aiken\n tx.not_being_spent_from(not_these_vkhs, tx.inputs)\n ```","url":"cardano/tx.html#not_being_spent_from"},{"doc":"cardano/tx","title":"total_token_amount","content":"total_token_amount(\n  inputs: List&lt;Input&gt;,\n  pid: PolicyId,\n  tkn: AssetName,\n  threshold: Int,\n) -&gt; Bool\n Calculate the total amount of a token within the set of inputs for the \n transaction and check if it is at least equal to the provided threshold.\n\n ```aiken\n tx.total_token_amount(tx.inputs, datum.pid, datum.tkn, datum.threshold)\n ```","url":"cardano/tx.html#total_token_amount"},{"doc":"cardano/tx","title":"cardano/tx","content":" This module incorporates additional code that expands the\n functionality of the standard library.\n","url":"cardano/tx.html"},{"doc":"validation/payout","title":"exact","content":"exact(\n  payout_address: Address,\n  payout_value: Value,\n  outputs: List&lt;Output&gt;,\n) -&gt; Bool\n Find the first occurrence of an exact output that matches a specific\n address and assets. If nothing is found then return False.\n\n ```aiken\n payout.exact(wallet_addr, validating_value, tx.outputs)\n ```","url":"validation/payout.html#exact"},{"doc":"validation/payout","title":"at_least","content":"at_least(\n  payout_address: Address,\n  payout_value: Value,\n  outputs: List&lt;Output&gt;,\n) -&gt; Bool\n Find the first occurrence of an output that contains at least some specific\n value at some address. If nothing is found then return False. This function\n does not search for an exact UTxO match.\n\n ```aiken\n payout.at_least(wallet_addr, just_token_value, tx.outputs)\n ```","url":"validation/payout.html#at_least"},{"doc":"validation/payout","title":"validation/payout","content":" This module contains code that assists with payout logic. Payout\n functions are designed to return a boolean value instead of an error.\n","url":"validation/payout.html"},{"doc":"maths/routines","title":"powmod","content":"powmod(n: Int, e: Int, q: Int) -&gt; Int\n Calculate `n` to the power of `e` modulo `q` using the exponentiation by \n squaring method. At each multiplication a modulo is calculated, allowing\n very large `n` and `e` values.\n\n ```aiken\n routines.powmod(3, 2, 5)\n ```","url":"maths/routines.html#powmod"},{"doc":"maths/routines","title":"base_q","content":"base_q(n: Int, q: Int) -&gt; List&lt;Int&gt;\n Convert a integer `n` into some base `q`. This method\n should scale with any integer and any logical base.\n\n ```aiken\n routines.base_q(123, 7)\n ```","url":"maths/routines.html#base_q"},{"doc":"maths/routines","title":"to_int","content":"to_int(self: ByteArray) -&gt; Int\n Convert a hexadecimal bytearray into its base 10 representation. This\n only works with even length bytearrays so arbitrary numbers in hexadecimal\n form will not in general work.\n\n ```aiken\n routines.to_int(#&quot;acab&quot;)\n ```","url":"maths/routines.html#to_int"},{"doc":"maths/routines","title":"from_int","content":"from_int(self: Int) -&gt; ByteArray\n Convert a integer into a hexadecimal bytearray. This works for all integers\n but odd length bytearrays will be prefixed with a zero. This function \n combined with the `to_int` function allows a string to represent a number\n and still be used for calculations, pushing the `2^64 - 1` integer boundary.\n\n ```aiken\n routines.from_int(44203)\n ```","url":"maths/routines.html#from_int"},{"doc":"maths/routines","title":"maths/routines","content":"","url":"maths/routines.html"}]);
\ No newline at end of file
+window.Aiken.initSearch([{"doc":"types/cip68","title":"get","content":"get(cip68: CIP68, key: Data) -&gt; Data\n Attempt to find a data structure by a key inside the cip68 metadatum. If\n nothing is found then fail.\n\n ```aiken\n cip68.get(metadatum, some_key)\n ```","url":"types/cip68.html#get"},{"doc":"types/cip68","title":"version","content":"version(metadata: CIP68) -&gt; Int\n Return the version of the metadata.\n\n ```aiken\n metadatum |&gt; cip68.version\n ```","url":"types/cip68.html#version"},{"doc":"types/cip68","title":"CIP68","content":"CIP68 {\n  metadata: Pairs&lt;Data, Data&gt;,\n  version: Int,\n}\n The generic CIP68 metadatum type as defined in the CIP at\n https://cips.cardano.org/cips/cip68/.\nCIP68 { metadata: Pairs&lt;Data, Data&gt;, version: Int }\n","url":"types/cip68.html#CIP68"},{"doc":"types/cip68","title":"prefix_100","content":"prefix_100: ByteArray = #&quot;000643b0&quot;\n (100) Reference Token Prefix\n https://developers.cardano.org/docs/governance/cardano-improvement-proposals/cip-0068/#222-nft-standard","url":"types/cip68.html#prefix_100"},{"doc":"types/cip68","title":"prefix_222","content":"prefix_222: ByteArray = #&quot;000de140&quot;\n (222) Non-Fungible Token Prefix\n https://developers.cardano.org/docs/governance/cardano-improvement-proposals/cip-0068/#222-nft-standard","url":"types/cip68.html#prefix_222"},{"doc":"types/cip68","title":"prefix_333","content":"prefix_333: ByteArray = #&quot;0014df10&quot;\n (333) Fungible Token Prefix\n https://developers.cardano.org/docs/governance/cardano-improvement-proposals/cip-0068/#333-ft-standard","url":"types/cip68.html#prefix_333"},{"doc":"types/cip68","title":"prefix_444","content":"prefix_444: ByteArray = #&quot;001bc280&quot;\n (444) Rich-Fungible Token Prefix\n https://developers.cardano.org/docs/governance/cardano-improvement-proposals/cip-0068/#333-ft-standard","url":"types/cip68.html#prefix_444"},{"doc":"types/cip68","title":"types/cip68","content":"","url":"types/cip68.html"},{"doc":"cardano/tx","title":"output_reference","content":"output_reference(tx_id_hash: ByteArray, idx: Int) -&gt; OutputReference\n Create an `OutputReference` from the `TxId#Idx` information. This is useful\n for building correct output references of specific UTxOs. It can be combined\n with the `find` module for some very convenient requests.\n\n ```aiken\n tx.output_reference(that_tx_id, that_tx_idx)\n ```","url":"cardano/tx.html#output_reference"},{"doc":"cardano/tx","title":"verify_signature","content":"verify_signature(\n  vks: List&lt;VerificationKeyHash&gt;,\n  vk: VerificationKeyHash,\n) -&gt; Bool\n Check if the list of signatures inside a transaction contains the\n verification key.\n\n ```aiken\n tx.verify_signature(context.transaction, wallet_pkh)\n ```","url":"cardano/tx.html#verify_signature"},{"doc":"cardano/tx","title":"verify_multisig","content":"verify_multisig(\n  sigs: List&lt;VerificationKeyHash&gt;,\n  vks: List&lt;VerificationKeyHash&gt;,\n  minimum: Int,\n) -&gt; Bool\n This counts the number of signatures inside a transaction that are from \n the list of signers then checks if its at least the minimum amount.\n\n ```aiken\n tx.verify_multisig(context.transaction, lst_of_sigs, sig_threshold)\n ```","url":"cardano/tx.html#verify_multisig"},{"doc":"cardano/tx","title":"is_spending_input","content":"is_spending_input(inputs: List&lt;Input&gt;, out_ref: OutputReference) -&gt; Bool\n Check if a specific input by output reference is being spent. This is useful\n when a minting script requires a utxo to be spent but doesn&#39;t need any specific\n information about that input.\n\n ```aiken\n tx.is_spending_input(tx.inputs, output_reference)\n ```","url":"cardano/tx.html#is_spending_input"},{"doc":"cardano/tx","title":"not_being_spent_from","content":"not_being_spent_from(\n  validator_hashes: List&lt;ScriptHash&gt;,\n  inputs: List&lt;Input&gt;,\n) -&gt; Bool\n Given a set of validator hashes prove that none of them are being spent. Assume\n every address is not staked and that the is list is complete.\n\n ```aiken\n tx.not_being_spent_from(not_these_vkhs, tx.inputs)\n ```","url":"cardano/tx.html#not_being_spent_from"},{"doc":"cardano/tx","title":"total_token_amount","content":"total_token_amount(\n  inputs: List&lt;Input&gt;,\n  pid: PolicyId,\n  tkn: AssetName,\n  threshold: Int,\n) -&gt; Bool\n Calculate the total amount of a token within the set of inputs for the \n transaction and check if it is at least equal to the provided threshold.\n\n ```aiken\n tx.total_token_amount(tx.inputs, datum.pid, datum.tkn, datum.threshold)\n ```","url":"cardano/tx.html#total_token_amount"},{"doc":"cardano/tx","title":"cardano/tx","content":" This module incorporates additional code that expands the\n functionality of the standard library.\n","url":"cardano/tx.html"},{"doc":"types/wallet","title":"to_vks","content":"to_vks(wallets: Wallets) -&gt; List&lt;VerificationKeyHash&gt;\n Convert a list of wallets into a list of public key hashes. This is useful\n when doing multisig validation. The output order respects the input order.\n\n ```aiken\n wallet.to_vks(datum.wallets)\n ```","url":"types/wallet.html#to_vks"},{"doc":"types/wallet","title":"is_valid","content":"is_valid(wallet: Wallet) -&gt; Bool\n Check if a wallet has a bad form and needs to be bypassed.\n The pkh must be the length 56 hex string and the sc is either empty or\n it is also a length 56 hex string.\n\n ```aiken\n wallet.is_valid(datum.wallet)\n ```","url":"types/wallet.html#is_valid"},{"doc":"types/wallet","title":"Wallet","content":"Wallet {\n  pkh: VerificationKeyHash,\n  sc: VerificationKeyHash,\n}\n A wallet type for a non-smart contract address.\nWallet { pkh: VerificationKeyHash, sc: VerificationKeyHash }\n","url":"types/wallet.html#Wallet"},{"doc":"types/wallet","title":"Wallets","content":"Wallets = List&lt;Wallet&gt;\n A list of wallets for non-smart contract addresses.\n","url":"types/wallet.html#Wallets"},{"doc":"types/wallet","title":"types/wallet","content":"","url":"types/wallet.html"},{"doc":"maths/constants","title":"large_prime","content":"large_prime: Int = 0x1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab\n A large prime number. The value is near 4 x 10^114.","url":"maths/constants.html#large_prime"},{"doc":"maths/constants","title":"maths/constants","content":"","url":"maths/constants.html"},{"doc":"tests/fake_tx","title":"test_out_ref","content":"test_out_ref() -&gt; OutputReference\n Creates an `OutputReference`","url":"tests/fake_tx.html#test_out_ref"},{"doc":"tests/fake_tx","title":"test_bad_out_ref","content":"test_bad_out_ref() -&gt; OutputReference\n Creates an `OutputReference`","url":"tests/fake_tx.html#test_bad_out_ref"},{"doc":"tests/fake_tx","title":"test_inputs","content":"test_inputs(amt: Int) -&gt; List&lt;Input&gt;\n A fake input used for testing.","url":"tests/fake_tx.html#test_inputs"},{"doc":"tests/fake_tx","title":"test_input","content":"test_input() -&gt; Input\n A fake input used for testing.","url":"tests/fake_tx.html#test_input"},{"doc":"tests/fake_tx","title":"test_script_input","content":"test_script_input() -&gt; Input\n A fake input used for testing.","url":"tests/fake_tx.html#test_script_input"},{"doc":"tests/fake_tx","title":"test_input_with_datum_hash","content":"test_input_with_datum_hash() -&gt; Input\n A fake input with a datum hash.","url":"tests/fake_tx.html#test_input_with_datum_hash"},{"doc":"tests/fake_tx","title":"test_bad_input","content":"test_bad_input() -&gt; Input\n A fake input without datum used for testing.","url":"tests/fake_tx.html#test_bad_input"},{"doc":"tests/fake_tx","title":"test_one_lovelace_input","content":"test_one_lovelace_input() -&gt; Input\n","url":"tests/fake_tx.html#test_one_lovelace_input"},{"doc":"tests/fake_tx","title":"test_bad_inputs","content":"test_bad_inputs() -&gt; List&lt;Input&gt;\n","url":"tests/fake_tx.html#test_bad_inputs"},{"doc":"tests/fake_tx","title":"test_output","content":"test_output() -&gt; Output\n A fake output used for testing.","url":"tests/fake_tx.html#test_output"},{"doc":"tests/fake_tx","title":"test_output_with_datum_hash","content":"test_output_with_datum_hash() -&gt; Output\n","url":"tests/fake_tx.html#test_output_with_datum_hash"},{"doc":"tests/fake_tx","title":"test_bad_output","content":"test_bad_output() -&gt; Output\n A fake output without datum used for testing.","url":"tests/fake_tx.html#test_bad_output"},{"doc":"tests/fake_tx","title":"test_bad_outputs","content":"test_bad_outputs() -&gt; List&lt;Output&gt;\n","url":"tests/fake_tx.html#test_bad_outputs"},{"doc":"tests/fake_tx","title":"test_signatories","content":"test_signatories() -&gt; List&lt;ByteArray&gt;\n A fake list of tx signers","url":"tests/fake_tx.html#test_signatories"},{"doc":"tests/fake_tx","title":"test_tx","content":"test_tx() -&gt; Transaction\n A fake transaction used for testing.","url":"tests/fake_tx.html#test_tx"},{"doc":"tests/fake_tx","title":"DataType","content":"DataType = Data\n A `Data`data type\n","url":"tests/fake_tx.html#DataType"},{"doc":"tests/fake_tx","title":"test_datum","content":"test_datum: ByteArray = #&quot;acabbeeffacecafe&quot;\n A test datum.","url":"tests/fake_tx.html#test_datum"},{"doc":"tests/fake_tx","title":"tests/fake_tx","content":" This is for testing only.\n","url":"tests/fake_tx.html"},{"doc":"cardano/value","title":"from_token","content":"from_token(token: Token) -&gt; Value\n Creates a Value type from a token.\n\n ```aiken\n value.from_token(this_token)\n ```","url":"cardano/value.html#from_token"},{"doc":"cardano/value","title":"from_tokens","content":"from_tokens(tokens: Tokens) -&gt; Value\n Creates a Value type from a list of tokens.\n\n ```aiken\n value.from_tokens(redeemer.tokens)\n ```","url":"cardano/value.html#from_tokens"},{"doc":"cardano/value","title":"multiply","content":"multiply(val: Value, n: Int) -&gt; Value\n Multiply some value by `n`. This is just a linear scaling to the quantity\n of each token.\n\n ```aiken\n value.multiply(bundle_value, bundle_size)\n ```","url":"cardano/value.html#multiply"},{"doc":"cardano/value","title":"contains","content":"contains(total: Value, target: Value) -&gt; Bool\n Prove that the target value is contained inside another assets. Each token\n inside the target must exist inside the total assets. The quantity of each\n token must be at least the target amount or greater.\n\n ```aiken\n value.contains(total_value, target_value)\n ```","url":"cardano/value.html#contains"},{"doc":"cardano/value","title":"compute_hash","content":"compute_hash(target: Value) -&gt; ByteArray\n Compute the sha3_256 hash of a value by merklizing the policy id, asset\n name, and quantity. Empty values return the empty by string.\n\n ```aiken\n value.compute_hash(validating_value)\n ```","url":"cardano/value.html#compute_hash"},{"doc":"cardano/value","title":"unique_token_name","content":"unique_token_name(txid: TransactionId, idx: Int, prefix: ByteArray) -&gt; AssetName\n Calculate a unique token name from a `TxId#Idx` and prefix. Can be combined\n with the `find` module to create unique token names from the first input\n utxo inside the transaction.\n\n ```aiken\n value.unique_token_name(tx_id, tx_idx, cip68.prefix_333)\n ```","url":"cardano/value.html#unique_token_name"},{"doc":"cardano/value","title":"prove_nft","content":"prove_nft(total: Value, pid: PolicyId) -&gt; Bool\n Proves that inside some value there is a policy id with a single token\n name that has a quantity of 1. This will show that a value contains an\n NFT or something that is nft-like. Should be useful to prove that\n something is holding a token inside a transaction when the token name\n is assumed to be unique.\n\n ```aiken\n value.prove_nft(this_value, pid)\n ```","url":"cardano/value.html#prove_nft"},{"doc":"cardano/value","title":"prove_exact_nft","content":"prove_exact_nft(\n  total_value: Value,\n  nft_pid: PolicyId,\n  nft_tkn: AssetName,\n) -&gt; Bool\n Proves that inside some value there is a policy id with token\n name that has a quantity of 1. This will show that a value contains an\n NFT or something that is nft-like. Should be useful to prove that\n something is holding a token inside a transaction when the policy id and\n token name is known.\n\n ```aiken\n value.prove_exact_nft(that_value, pid, tkn)\n ```","url":"cardano/value.html#prove_exact_nft"},{"doc":"cardano/value","title":"cardano/value","content":" This module contains code that aids in various value \n manipulations and comparisons.\n","url":"cardano/value.html"},{"doc":"maths/routines","title":"powmod","content":"powmod(n: Int, e: Int, q: Int) -&gt; Int\n Calculate `n` to the power of `e` modulo `q` using the exponentiation by \n squaring method. At each multiplication a modulo is calculated, allowing\n very large `n` and `e` values.\n\n ```aiken\n routines.powmod(3, 2, 5)\n ```","url":"maths/routines.html#powmod"},{"doc":"maths/routines","title":"base_q","content":"base_q(n: Int, q: Int) -&gt; List&lt;Int&gt;\n Convert a integer `n` into some base `q`. This method\n should scale with any integer and any logical base.\n\n ```aiken\n routines.base_q(123, 7)\n ```","url":"maths/routines.html#base_q"},{"doc":"maths/routines","title":"to_int","content":"to_int(self: ByteArray) -&gt; Int\n Convert a hexadecimal bytearray into its base 10 representation. This\n only works with even length bytearrays so arbitrary numbers in hexadecimal\n form will not in general work.\n\n ```aiken\n routines.to_int(#&quot;acab&quot;)\n ```","url":"maths/routines.html#to_int"},{"doc":"maths/routines","title":"from_int","content":"from_int(self: Int) -&gt; ByteArray\n Convert a integer into a hexadecimal bytearray. This works for all integers\n but odd length bytearrays will be prefixed with a zero. This function \n combined with the `to_int` function allows a string to represent a number\n and still be used for calculations, pushing the `2^64 - 1` integer boundary.\n\n ```aiken\n routines.from_int(44203)\n ```","url":"maths/routines.html#from_int"},{"doc":"maths/routines","title":"maths/routines","content":"","url":"maths/routines.html"},{"doc":"cardano/minting","title":"exact","content":"exact(\n  flat: List&lt;(PolicyId, AssetName, Int)&gt;,\n  pid: PolicyId,\n  tkn: AssetName,\n  amt: Int,\n) -&gt; Bool\n This checks if a specific policy id, token name, and amount exist inside\n the flattened exact assets. It is searching for an exact match. If found\n then it returns True else False.\n\n ```aiken\n minting.exact(flatten_mint_value, pid, tkn, 1)\n ```","url":"cardano/minting.html#exact"},{"doc":"cardano/minting","title":"by_prefix","content":"by_prefix(\n  flat: List&lt;(PolicyId, AssetName, Int)&gt;,\n  pid: PolicyId,\n  prefix: AssetName,\n  amt: Int,\n) -&gt; Bool\n This checks if a specific policy id, prefix, and amount exist inside\n the flattened exact assets. Instead of searching for exact match, it\n checks if the token name has the correct prefix. This works if\n every token name on the policy id is unique. If found then it returns\n True else False.\n\n ```aiken\n minting.by_prefix(flatten_mint_value, pid, tkn, 1)\n ```","url":"cardano/minting.html#by_prefix"},{"doc":"cardano/minting","title":"is_occurring","content":"is_occurring(\n  flat: List&lt;(PolicyId, AssetName, Int)&gt;,\n  pid: PolicyId,\n  tkn: AssetName,\n) -&gt; Bool\n Prove that a transaction is minting something from a specific policy id \n and token name but the amount does not matter. This is great for lock-n-mint\n style contracts where some logic just needs to check if a mint is occuring\n but not the specifics of the amount being minted or burned. If a mint is\n occurring then it will return True else False.\n\n ```aiken\n minting.is_occurring(flatten_mint_value, pid, tkn)\n ```","url":"cardano/minting.html#is_occurring"},{"doc":"cardano/minting","title":"cardano/minting","content":" This module incorporates code for various minting and burning validations.\n","url":"cardano/minting.html"},{"doc":"cardano/addresses","title":"from_wallet","content":"from_wallet(wallet: Wallet) -&gt; Address\n Creates an address from the Wallet type. This should be used primairly for\n creating an address as the Wallet type has a `is_valid` function that should\n be used in the same validaiton.\n\n ```aiken\n let addr: Address = addresses.from_wallet(this_wallet)\n ```","url":"cardano/addresses.html#from_wallet"},{"doc":"cardano/addresses","title":"create_address","content":"create_address(pkh: VerificationKeyHash, sc: VerificationKeyHash) -&gt; Address\n Creates a enterprise or base address from the public key hash and stake\n address. An empty sc means enterpise address by default. This function\n assumes proper key lengths for `pkh`.Address types should be generated from\n the Wallet type so proper length checks are done with the `wallet.is_valid`\n function located in `types/wallet.ak`.\n\n\n ```aiken\n addresses.create_address(datum.wallet.pkh, datum.wallet.sc)\n ```","url":"cardano/addresses.html#create_address"},{"doc":"cardano/addresses","title":"create_script_address","content":"create_script_address(vkh: ScriptHash, sc: ScriptHash) -&gt; Address\n Creates a script address for a smart contract. The type does not mix\n address types. Staking credentials are assumed to be smart contracts. An \n empty stake credential or bad length stake credential is invalid and will\n be assumed to be not staked. This function assumes proper key lengths for `vkh`.\n\n ```aiken\n addresses.create_script_address(datum.script.vkh, datum.script.sc)\n ```","url":"cardano/addresses.html#create_script_address"},{"doc":"cardano/addresses","title":"cardano/addresses","content":" This module incorporates code for generating valid wallet and script \n addresses, ensuring their correctness. Empty keys are treated as \n intentional, and address subtypes are not combined nor mixed. The key\n lengths must be valid as these functions will ignore invalid key\n keys when generating Address types.\n","url":"cardano/addresses.html"},{"doc":"validation/payout","title":"exact","content":"exact(\n  payout_address: Address,\n  payout_value: Value,\n  outputs: List&lt;Output&gt;,\n) -&gt; Bool\n Find the first occurrence of an exact output that matches a specific\n address and assets. If nothing is found then return False.\n\n ```aiken\n payout.exact(wallet_addr, validating_value, tx.outputs)\n ```","url":"validation/payout.html#exact"},{"doc":"validation/payout","title":"at_least","content":"at_least(\n  payout_address: Address,\n  payout_value: Value,\n  outputs: List&lt;Output&gt;,\n) -&gt; Bool\n Find the first occurrence of an output that contains at least some specific\n value at some address. If nothing is found then return False. This function\n does not search for an exact UTxO match.\n\n ```aiken\n payout.at_least(wallet_addr, just_token_value, tx.outputs)\n ```","url":"validation/payout.html#at_least"},{"doc":"validation/payout","title":"validation/payout","content":" This module contains code that assists with payout logic. Payout\n functions are designed to return a boolean value instead of an error.\n","url":"validation/payout.html"},{"doc":"types/token","title":"negative","content":"negative(tkn: Token) -&gt; Token\n Give the negative of a token.\n\n ```aiken\n token.negative(this_token)\n ```","url":"types/token.html#negative"},{"doc":"types/token","title":"negate","content":"negate(tokens: Tokens) -&gt; Tokens\n Negate all the tokens in the list.\n\n ```aiken\n token.negate(these_tokens)\n ```","url":"types/token.html#negate"},{"doc":"types/token","title":"divide","content":"divide(token: Token, n: Int) -&gt; Token\n Divide a token by some integer. The divisor must be positive. This is\n integer division so the token amount will be rounded towards negative \n infinity.\n\n ```aiken\n token.divide(that_token, 2)\n ```","url":"types/token.html#divide"},{"doc":"types/token","title":"multiply","content":"multiply(token: Token, n: Int) -&gt; Token\n Multiply a token by some integer. This linearly scales the token amount\n on the token.\n\n ```aiken\n token.multiply(that_token, 4)\n ```","url":"types/token.html#multiply"},{"doc":"types/token","title":"subtraction_only","content":"subtraction_only(tokens: Tokens) -&gt; Bool\n Check that each token is less than zero in a list tokens.\n\n ```aiken\n token.subtraction_only(redeemer.tokens)\n ```","url":"types/token.html#subtraction_only"},{"doc":"types/token","title":"addition_only","content":"addition_only(tokens: Tokens) -&gt; Bool\n Check that each token is greater than zero in a list tokens.\n\n ```aiken\n token.addition_only(redeemer.tokens)\n ```","url":"types/token.html#addition_only"},{"doc":"types/token","title":"add_token_to_value","content":"add_token_to_value(the_value: Value, token: Token) -&gt; Value\n Add a Token type to a Value type. This should be a very safe way to\n increment a value on a UTxO. The other option is having the redeemer be \n the general Value type and potentially allow badly formed values to be used.\n\n ```aiken\n add_token_to_value(token, this_value)\n ```","url":"types/token.html#add_token_to_value"},{"doc":"types/token","title":"add_tokens_to_value","content":"add_tokens_to_value(the_value: Value, tokens: Tokens) -&gt; Value\n Add a list of Token types to a Value type. This should be a very safe way to\n increment a value on a UTxO. The other option is having the redeemer be \n the general Value type and potentially allow badly formed values to be used.\n\n ```aiken\n add_tokens_to_value(redeemer.tokens, this_value)\n ```","url":"types/token.html#add_tokens_to_value"},{"doc":"types/token","title":"from_value","content":"from_value(v: Value) -&gt; Tokens\n Convert a value into a list of tokens. This conversation is a fast way\n to be able to do multiplication on a assets.\n\n ```aiken\n token.from_value(this_value)\n ```","url":"types/token.html#from_value"},{"doc":"types/token","title":"exists","content":"exists(total: Tokens, target: Token) -&gt; Bool\n Check if a Token exists in a list of Tokens. The amount has to be greater\n than or equal to the target.\n\n ```aiken\n token.exists(total_tokens, target_token )\n ```","url":"types/token.html#exists"},{"doc":"types/token","title":"contains","content":"contains(total: Tokens, target: Tokens) -&gt; Bool\n Check if a target list of tokens exist inside another list of tokens.\n The token amount must be greater than or equal to the target amount. If\n nothing is found then it returns False.\n\n ```aiken\n token.contains(total, target)\n ```","url":"types/token.html#contains"},{"doc":"types/token","title":"Token","content":"Token {\n  pid: PolicyId,\n  tkn: AssetName,\n  amt: Int,\n}\n A token type for a safe single policy id and asset name assets.\nToken { pid: PolicyId, tkn: AssetName, amt: Int }\n","url":"types/token.html#Token"},{"doc":"types/token","title":"Tokens","content":"Tokens = List&lt;Token&gt;\n A tokens type for a safe value as a list of Tokens.\n","url":"types/token.html#Tokens"},{"doc":"types/token","title":"types/token","content":" A Token is a safe type for some asset on Cardano. A Token can be combined\n with another Token to form Tokens, a list of Token.  This should be a safe\n and clean way to build out the value type inside of datums and redeemers \n instead of building out the value type directly which could be harmful.\n","url":"types/token.html"},{"doc":"maths/circuits","title":"and_","content":"and_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `AND` operation on two integer values within an arithmetic circuit.\n\n ```aiken\n circuits.and_(1, 1, p)\n ```","url":"maths/circuits.html#and_"},{"doc":"maths/circuits","title":"or_","content":"or_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `OR` operation on two integer values within an arithmetic circuit..\n \n ```aiken\n circuits.or_(0, 1, p)\n ```","url":"maths/circuits.html#or_"},{"doc":"maths/circuits","title":"not_","content":"not_(x: Int, p: Int) -&gt; Int\n Performs a logical `NOT` operation on an integer value within an arithmetic circuit.\n\n ```aiken\n circuits.not_(1, p)\n ```","url":"maths/circuits.html#not_"},{"doc":"maths/circuits","title":"xor_","content":"xor_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `XOR` operation on two integer values within an arithmetic circuit.\n\n ```aiken\n circuits.xor_(0, 1, p)\n ```","url":"maths/circuits.html#xor_"},{"doc":"maths/circuits","title":"nand_","content":"nand_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `NAND` operation on two integer values within an arithmetic circuit.\n \n ```aiken\n circuits.nand_(1, 1, p)\n ```","url":"maths/circuits.html#nand_"},{"doc":"maths/circuits","title":"nor_","content":"nor_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `NOR` operation on two integer values within an arithmetic circuit.\n \n ```aiken\n circuits.nor_(0, 0, p)\n ```","url":"maths/circuits.html#nor_"},{"doc":"maths/circuits","title":"xnor_","content":"xnor_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical `XNOR` operation on two integer values within an arithmetic circuit.\n \n ```aiken\n circuits.xnor_(1, 1, p)\n ```","url":"maths/circuits.html#xnor_"},{"doc":"maths/circuits","title":"imply_","content":"imply_(x: Int, y: Int, p: Int) -&gt; Int\n Performs a logical implication operation on two integer values within an arithmetic circuit.\n \n ```aiken\n circuits.imply_(1, 0, p)\n ```","url":"maths/circuits.html#imply_"},{"doc":"maths/circuits","title":"maths/circuits","content":" This module contains code to do arithmetic circuit logic on integers.\n All values are assumed to be positive and p is a prime.\n","url":"maths/circuits.html"},{"doc":"validation/count","title":"inputs_by_datum","content":"inputs_by_datum(inputs: List&lt;Input&gt;, amount: Int) -&gt; Bool\n Verify that the number of inputs with an inline datum or datum hash is equal to the\n number intended in the contract. The amount must be exactly the counter.\n\n ```aiken\n count.inputs_by_datum(tx.inputs, 1)\n ```","url":"validation/count.html#inputs_by_datum"},{"doc":"validation/count","title":"inputs_by_vkh","content":"inputs_by_vkh(inputs: List&lt;Input&gt;, amount: Int) -&gt; Bool\n Count the number of inputs with a payment credential that is a script.\n This does not take in an address but is a general count of validator hashes.\n\n ```aiken\n count.inputs_by_vkh(tx.inputs, 1)\n ```","url":"validation/count.html#inputs_by_vkh"},{"doc":"validation/count","title":"outputs_by_vkh","content":"outputs_by_vkh(outputs: List&lt;Output&gt;, amount: Int) -&gt; Bool\n Count the number of outputs with a payment credential that is a script.\n This does not take in an address but is a general count of validator hashes.\n\n ```aiken\n count.outputs_by_vkh(tx.outputs, 1)\n ```","url":"validation/count.html#outputs_by_vkh"},{"doc":"validation/count","title":"inputs_by_addr","content":"inputs_by_addr(inputs: List&lt;Input&gt;, addr: Address, amount: Int) -&gt; Bool\n Verify that the number of inputs from a specific script is equal to the\n amount intended in the contract. The amount must be exactly the counter.\n\n ```aiken\n count.inputs_by_addr(tx.inputs, this_addr, 1)\n ```","url":"validation/count.html#inputs_by_addr"},{"doc":"validation/count","title":"outputs_by_addr","content":"outputs_by_addr(outputs: List&lt;Output&gt;, addr: Address, amount: Int) -&gt; Bool\n Verify that the number of outputs from a specific script is equal the amount\n intended in the contract. The amount must be exact with the counter.\n\n ```aiken\n count.outputs_by_addr(tx.outputs, this_addr, 1)\n ```","url":"validation/count.html#outputs_by_addr"},{"doc":"validation/count","title":"outputs_by_datum","content":"outputs_by_datum(outputs: List&lt;Output&gt;, amount: Int) -&gt; Bool\n Verify that the number of outputs with an inline datum or datum hash is equal to the\n number intended in the contract. The amount must be exactly the counter.\n\n ```aiken\n count.outputs_by_datum(tx.outputs, 1)\n ```","url":"validation/count.html#outputs_by_datum"},{"doc":"validation/count","title":"single_input_with_bypass","content":"single_input_with_bypass(\n  inputs: List&lt;Input&gt;,\n  this_addr: Address,\n  those_addrs: List&lt;Address&gt;,\n) -&gt; Bool\n The contract can only be spent by itself or along side some list of know \n addresses. Loop all the inputs and count how many datums belong to this \n address. If any of those addresses exists then pass right over them but if \n anything else is found then fail. This should prevent unregulated contracts\n from being spent along side this script.\n\n ```aiken\n count.single_input_with_bypass(this_tx.inputs, this_addr, [that_addr])\n ```\n","url":"validation/count.html#single_input_with_bypass"},{"doc":"validation/count","title":"validation/count","content":" This module contains code to accurately count the number of inputs and\n outputs in a transaction containing an address or a datum.\n","url":"validation/count.html"},{"doc":"cardano/certificates","title":"delegate_credential","content":"delegate_credential(sc: ScriptHash, pool_id: StakePoolId) -&gt; Certificate\n Creates a credential delegation for changing the location of the stake.\n This certificate can be used to check if stake is being delegated to\n a specific pool.\n\n ```aiken\n certificates.create_credential_delegation(datum.contract_hash, datum.pool_id)\n ```","url":"cardano/certificates.html#delegate_credential"},{"doc":"cardano/certificates","title":"cardano/certificates","content":" This module incorporates code for generating valid certificates,\n ensuring their correctness. \n","url":"cardano/certificates.html"},{"doc":"types/moment","title":"shift","content":"shift(m: Moment, t: Int) -&gt; Moment\n Shifts a moment by some integer amount. This is great for incrementing\n a fixed moment of time, maybe like an epoch boundary by five days.\n\n ```aiken\n moment.shift(this_moment, a_day)\n ```","url":"types/moment.html#shift"},{"doc":"types/moment","title":"is_logical","content":"is_logical(m: Moment) -&gt; Bool\n Check if a moment data structure is logical. \n\n ```aiken\n moment.is_logical(datum.moment)\n ```","url":"types/moment.html#is_logical"},{"doc":"types/moment","title":"is_contained","content":"is_contained(m: Moment, vr: ValidityRange) -&gt; Bool\n Check if a validity range is contained within some moment.\n This assumes inclusivity.\n\n |start--|lower----upper|--end|\n\n ```aiken\n moment.is_contained(datum.moment, this_tx.validity_range)\n ```","url":"types/moment.html#is_contained"},{"doc":"types/moment","title":"is_after","content":"is_after(m: Moment, vr: ValidityRange) -&gt; Bool\n Check if a validity range of a tx is after a moment.\n This assumes exclusivity.\n\n |start----end|--|lower----upper|\n\n ```aiken\n moment.is_after(datum.moment, this_tx.validity_range)\n ```","url":"types/moment.html#is_after"},{"doc":"types/moment","title":"is_before","content":"is_before(m: Moment, vr: ValidityRange) -&gt; Bool\n Check if a validity range of a tx is before a moment.\n This assumes exclusivity.\n\n |lower----upper|--|start----end|\n\n ```aiken\n moment.is_before(datum.moment, this_tx.validity_range)\n ```","url":"types/moment.html#is_before"},{"doc":"types/moment","title":"Moment","content":"Moment {\n  start: Int,\n  end: Int,\n}\n A finite moment of time represented as simple start and end integers.\nMoment { start: Int, end: Int }\n","url":"types/moment.html#Moment"},{"doc":"types/moment","title":"Moments","content":"Moments = List&lt;Moment&gt;\n A finite list of moments of time.\n","url":"types/moment.html#Moments"},{"doc":"types/moment","title":"types/moment","content":"","url":"types/moment.html"},{"doc":"types/prefixes","title":"callable","content":"callable: ByteArray = #&quot;ca11ab1e&quot;\n Callable Token Prefix","url":"types/prefixes.html#callable"},{"doc":"types/prefixes","title":"database","content":"database: ByteArray = #&quot;da7aba5e&quot;\n Database Token Prefix","url":"types/prefixes.html#database"},{"doc":"types/prefixes","title":"seed","content":"seed: ByteArray = #&quot;5eed0e1f&quot;\n Seed Token Prefix","url":"types/prefixes.html#seed"},{"doc":"types/prefixes","title":"types/prefixes","content":" This module provides token prefixes for labeling unique tokens.\n","url":"types/prefixes.html"},{"doc":"validation/find","title":"first_input_index","content":"first_input_index(inputs: List&lt;Input&gt;) -&gt; Int\n Find the first input&#39;s output reference index.\n Output references have the form `TxId#Idx`, this function\n extracts the `Idx` part. If nothing is found then error.\n\n ```aiken\n find.first_input_index(tx.inputs)\n ```","url":"validation/find.html#first_input_index"},{"doc":"validation/find","title":"first_input_txid","content":"first_input_txid(inputs: List&lt;Input&gt;) -&gt; ByteArray\n Find the first input&#39;s output reference transaction id hash.\n Output references have the form `TxId#Idx`, this function\n extracts the `TxId` part. If nothing is found then error.\n\n ```aiken\n find.first_input_txid(tx.inputs)\n ```","url":"validation/find.html#first_input_txid"},{"doc":"validation/find","title":"input_by_ref","content":"input_by_ref(inputs: List&lt;Input&gt;, out_ref: OutputReference) -&gt; Input\n Find an input by an output reference. If nothing is found then error. \n Similar to the builtin function in stdlib but auto errors instead of\n returning an `Option`.\n\n ```aiken\n find.input_by_ref(tx.inputs, out_ref)\n ```","url":"validation/find.html#input_by_ref"},{"doc":"validation/find","title":"input_by_addr","content":"input_by_addr(inputs: List&lt;Input&gt;, addr: Address) -&gt; Input\n Find the first occurrence of an input by a specific address. If nothing\n is found then error. The address here is an exact match, so both the\n pkh and sc need to be correct.\n\n ```aiken\n find.input_by_addr(tx.reference_inputs, ref_addr)\n ```","url":"validation/find.html#input_by_addr"},{"doc":"validation/find","title":"output_by_addr","content":"output_by_addr(outputs: List&lt;Output&gt;, addr: Address) -&gt; Output\n Find the first occurrence of an output by a specific address. If nothing\n is found then error. The address here is an exact match.\n\n ```aiken\n find.output_by_addr(tx.outputs, your_address)\n ```","url":"validation/find.html#output_by_addr"},{"doc":"validation/find","title":"first_output_datum","content":"first_output_datum(outputs: List&lt;Output&gt;) -&gt; Data\n Find the first output with an inline datum and return the datum.\n If nothing is found then error. This works great for tx with a\n single output and datum or where ordering is irrelevant.\n\n ```aiken\n find.first_output_datum(tx.outputs)\n ```","url":"validation/find.html#first_output_datum"},{"doc":"validation/find","title":"output_datum_by_addr","content":"output_datum_by_addr(outputs: List&lt;Output&gt;, addr: Address) -&gt; Data\n Find the first occurence of output datum by some address. If nothing is\n found then error.\n\n ```aiken\n expect datum: Datum = find.output_datum_by_addr(tx.outputs, this_addr)\n ```","url":"validation/find.html#output_datum_by_addr"},{"doc":"validation/find","title":"output_by_addr_value","content":"output_by_addr_value(\n  outputs: List&lt;Output&gt;,\n  addr: Address,\n  value: Value,\n) -&gt; Output\n Return the first occurrence of an output that contains at least some specific\n value at some address. If nothing is found then error. This function\n does not search for an exact UTxO match.\n\n ```aiken\n find.output_by_addr_value(tx.outputs, wallet_addr, just_token_value)\n ```","url":"validation/find.html#output_by_addr_value"},{"doc":"validation/find","title":"output_by_value","content":"output_by_value(outputs: List&lt;Output&gt;, value: Value) -&gt; Output\n Return the first occurrence of an output that contains at least some specific\n value. If nothing is found then error. This function\n does not search for an exact UTxO match.\n\n ```aiken\n find.output_by_value(tx.outputs, just_token_value)\n ```","url":"validation/find.html#output_by_value"},{"doc":"validation/find","title":"stake_reward_by_sc","content":"stake_reward_by_sc(\n  withdraws: Pairs&lt;Credential, Int&gt;,\n  stake_credential: Credential,\n) -&gt; Int\n Find the staking reward amount in loveace for some stake credential.\n If no rewards are available then error. This is a great method for\n checking on-chain staking rewards and withdrawal validation.\n\n ```aiken\n find.stake_reward_by_sc(tx.withdrawals, datum.wallet.sc)\n ```","url":"validation/find.html#stake_reward_by_sc"},{"doc":"validation/find","title":"redeemer_by_ref","content":"redeemer_by_ref(\n  redeemers: Pairs&lt;ScriptPurpose, Redeemer&gt;,\n  out_ref: OutputReference,\n) -&gt; Data\n Find a redeemer data by an output reference. This is good for checking\n if a specific redeemer is being used on some specific UTxO inside \n the transaction.\n\n ```aiken\n find.redeemer_by_ref(tx.redeemers, that_out_ref)\n ```","url":"validation/find.html#redeemer_by_ref"},{"doc":"validation/find","title":"output_datum_by_nft","content":"output_datum_by_nft(\n  outputs: List&lt;Output&gt;,\n  pid: PolicyId,\n  tkn: AssetName,\n) -&gt; Data\n Find the first occurance of an inline datum on an output with a value \n that contains a specific nft.","url":"validation/find.html#output_datum_by_nft"},{"doc":"validation/find","title":"input_by_nft","content":"input_by_nft(inputs: List&lt;Input&gt;, pid: PolicyId, tkn: AssetName) -&gt; Input\n Find the first occurance of an inline datum on an output with a value \n that contains a specific nft.","url":"validation/find.html#input_by_nft"},{"doc":"validation/find","title":"validation/find","content":" This module contains code for finding various aspects of \n a validating transaction.\n","url":"validation/find.html"},{"doc":"cardano/datum","title":"input_datum","content":"input_datum(possible_input: Input) -&gt; Data\n Find the datum data on an input or error. The data is assumed\n to be an inline datum.\n\n ```aiken\n expect datum: Datum = datum.input_datum(this_input)\n ```","url":"cardano/datum.html#input_datum"},{"doc":"cardano/datum","title":"input_datum_by_hash","content":"input_datum_by_hash(\n  possible_input: Input,\n  datums: Dict&lt;Hash&lt;Blake2b_256, Data&gt;, Data&gt;,\n) -&gt; Data\n Find the datum data on a input by the datum hash or error. The\n data is assumed to be embedded data and must be referenced by\n its hash.\n\n ```aiken\n expect datum: Datum = datum.input_datum_by_hash(this_input, these_datums)\n ```","url":"cardano/datum.html#input_datum_by_hash"},{"doc":"cardano/datum","title":"output_datum","content":"output_datum(possible_output: Output) -&gt; Data\n Find the datum data on an output or error. The data is assumed\n to be an inline datum.\n\n ```aiken\n expect datum: Datum = datum.output_datum(that_output)\n ```","url":"cardano/datum.html#output_datum"},{"doc":"cardano/datum","title":"output_datum_by_hash","content":"output_datum_by_hash(\n  possible_output: Output,\n  datums: Dict&lt;Hash&lt;Blake2b_256, Data&gt;, Data&gt;,\n) -&gt; Data\n Find the datum data on an output or error. The data is assumed\n to be embedded.\n\n ```aiken\n expect datum: Datum = datum.output_datum_by_hash(that_output, these_datums)\n ```","url":"cardano/datum.html#output_datum_by_hash"},{"doc":"cardano/datum","title":"cardano/datum","content":" This module contains code for extracting data from a potential inline \n datum found in either an input or output.\n","url":"cardano/datum.html"},{"doc":"maths/boolean","title":"and_","content":"and_(x: Int, y: Int) -&gt; Int\n Performs a logical `AND` operation on two integer values.\n Expects both inputs as binary (0 or 1) and returns 1 if both are 1, otherwise returns 0.\n\n ```aiken\n boolean.and_(1, 1)\n ```","url":"maths/boolean.html#and_"},{"doc":"maths/boolean","title":"or_","content":"or_(x: Int, y: Int) -&gt; Int\n Performs a logical `OR` operation on two integer values.\n Expects both inputs as binary (0 or 1) and returns 1 if at least one input is 1, otherwise returns 0.\n \n ```aiken\n boolean.or_(0, 1)\n ```","url":"maths/boolean.html#or_"},{"doc":"maths/boolean","title":"not_","content":"not_(x: Int) -&gt; Int\n Performs a logical `NOT` operation on an integer value.\n Expects the input as binary (0 or 1) and returns the inverse (1 becomes 0, 0 becomes 1).\n\n ```aiken\n boolean.not_(1)\n ```","url":"maths/boolean.html#not_"},{"doc":"maths/boolean","title":"xor_","content":"xor_(x: Int, y: Int) -&gt; Int\n Performs a logical `XOR` operation on two integer values.\n Expects both inputs as binary (0 or 1) and returns 1 if the inputs are different, otherwise returns 0.\n\n ```aiken\n boolean.xor_(0, 1)\n ```","url":"maths/boolean.html#xor_"},{"doc":"maths/boolean","title":"nand_","content":"nand_(x: Int, y: Int) -&gt; Int\n Performs a logical `NAND` operation on two integer values.\n Returns 1 if at least one input is 0, otherwise returns 0.\n \n ```aiken\n boolean.nand_(1, 1)\n ```","url":"maths/boolean.html#nand_"},{"doc":"maths/boolean","title":"nor_","content":"nor_(x: Int, y: Int) -&gt; Int\n Performs a logical `NOR` operation on two integer values.\n Returns 1 if both inputs are 0, otherwise returns 0.\n \n ```aiken\n boolean.nor_(0, 0)\n ```","url":"maths/boolean.html#nor_"},{"doc":"maths/boolean","title":"xnor_","content":"xnor_(x: Int, y: Int) -&gt; Int\n Performs a logical `XNOR` operation on two integer values.\n Returns 1 if the inputs are the same, otherwise returns 0.\n \n ```aiken\n boolean.xnor_(1, 1)\n ```","url":"maths/boolean.html#xnor_"},{"doc":"maths/boolean","title":"imply_","content":"imply_(x: Int, y: Int) -&gt; Int\n Performs a logical implication operation on two integer values.\n Returns 1 if the first input is false or both inputs are true, otherwise returns 0.\n \n ```aiken\n boolean.imply_(1, 0)\n ```","url":"maths/boolean.html#imply_"},{"doc":"maths/boolean","title":"maths/boolean","content":" This module contains code to do boolean logic on integers.\n Boolean logic here is the special case of arithmetic circuit logic with p = 2.\n","url":"maths/boolean.html"}]);
\ No newline at end of file
diff --git a/docs/tests/fake_tx.html b/docs/tests/fake_tx.html
index 4583b15..361cd18 100644
--- a/docs/tests/fake_tx.html
+++ b/docs/tests/fake_tx.html
@@ -405,6 +405,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -840,9 +848,9 @@ <h2 id="test_tx"><pre class="hljs language-aiken">test_tx() -&gt; Transaction</p
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/types/cip68.html b/docs/types/cip68.html
index 322584e..16477b8 100644
--- a/docs/types/cip68.html
+++ b/docs/types/cip68.html
@@ -346,6 +346,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -665,9 +673,9 @@ <h2 id="version"><pre class="hljs language-aiken">version(metadata: CIP68) -&gt;
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/types/moment.html b/docs/types/moment.html
new file mode 100644
index 0000000..46eee81
--- /dev/null
+++ b/docs/types/moment.html
@@ -0,0 +1,726 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta charset="utf-8"/>
+    <meta name="viewport" content="width=device-width, initial-scale=1"/>
+    <title>types/moment - logical-mechanism/Assist</title>
+    <meta name="theme-color" content="#eff1f5" media="(prefers-color-scheme: light)"/>
+    <meta name="theme-color" content="#1e1e2e" media="(prefers-color-scheme: dark)"/>
+    <link rel="icon" type="image/svg+xml" sizes="any" href="../favicon.svg"/>
+    <link rel="stylesheet" href="../css/index.css?v=1.1.0" type="text/css"/>
+    <link id="syntax-theme" rel="stylesheet" href="../css/atom-one-light.min.css?v=1.1.0"/>
+  </head>
+  <body class="prewrap-off theme-light drawer-closed">
+    <script>
+      "use strict";
+      window.breadcrumbs = '..';
+      const aikenConfig = {
+        theme: {
+          values: (() => {
+            const dark = {
+              value: "dark",
+              label: "Switch to light mode",
+              icons: ["moon"],
+            };
+            const light = {
+              value: "light",
+              label: "Switch to dark mode",
+              icons: ["sun"],
+            };
+            return (
+              window.matchMedia("(prefers-color-scheme: dark)").matches
+              ? [dark, light]
+              : [light, dark]
+            ).map((item, index) => {
+              item.icons.push(`toggle-${0 === index ? "left" : "right"}`);
+              return item;
+            });
+          })(),
+
+          update: () => "light" === Aiken.getProperty("theme") ? "dark" : "light",
+
+          callback: function(value) {
+            const syntaxThemes = {
+              dark: "atom-one-dark",
+              light: "atom-one-light",
+            };
+            const syntaxTheme = document.querySelector("#syntax-theme");
+            const hrefParts = syntaxTheme.href.match(
+              /^(.*?)([^/\\#?]+?)((?:\.min)?\.css.*)$/i
+            );
+            if (syntaxThemes[value] !== hrefParts[2]) {
+              hrefParts[2] = syntaxThemes[value];
+              hrefParts.shift();
+              syntaxTheme.href = hrefParts.join("");
+            }
+          },
+        },
+        prewrap: {
+          values: [
+            {
+              value: "off",
+              label: "Switch to line-wrapped snippets",
+              icons: ["more-horizontal", "toggle-left"],
+            },
+            {
+              value: "on",
+              label: "Switch to non-wrapped snippets",
+              icons: ["more-vertical", "toggle-right"],
+            },
+          ],
+
+          update: () => "off" === Aiken.getProperty("prewrap") ? "on" : "off",
+        },
+      };
+    </script>
+
+    <script>
+      "use strict";
+
+      /* Initialise options before any content loads */
+      void function() {
+        for (const property in aikenConfig) {
+          const name = `Aiken.${property}`;
+
+          let value;
+
+          try {
+            value = localStorage.getItem(name);
+            if (value.startsWith('"') && value.endsWith('"')) {
+              localStorage.setItem(name, value.slice(1, value.length - 1));
+            }
+          }
+          catch (_error) {}
+
+          const defaultValue = aikenConfig[property].values[0].value;
+          try {
+            value = localStorage.getItem(name);
+          }
+          catch(_error) {}
+          if (-1 < [null, undefined].indexOf(value)) {
+            value = defaultValue;
+          }
+          const bodyClasses = document.body.classList;
+          bodyClasses.remove(`${property}-${defaultValue}`);
+          bodyClasses.add(`${property}-${value}`);
+          try {
+            aikenConfig[property].callback(value);
+          }
+          catch(_error) {}
+        }
+      }();
+    </script>
+
+    <header class="page-header">
+      <button class="sidebar-toggle" tabindex="0">
+        <svg class="label label-closed icon icon-menu" alt="Open Menu" title="Open Menu"><use xlink:href="#icon-menu"></use></svg>
+        <svg class="label label-open icon icon-x-circle" alt="Close Menu" title="Close Menu"><use xlink:href="#icon-x-circle"></use></svg>
+      </button>
+
+      <h2>
+        <a href="../">Assist</a>
+        <span id="project-version">
+          <span>v0.5.0 </span>
+        </span>
+        <script>
+          "use strict";
+
+          if ("undefined" !== typeof versionNodes) {
+            const currentVersion = "vv0.5.0";
+            if (! versionNodes.find(element => element.version === currentVersion)) {
+              versionNodes.unshift({ version: currentVersion, url: "#" });
+            }
+            document.querySelector("#project-version").innerHTML =
+              versionNodes.reduce(
+                (acc, element) => {
+                  const status =
+                    currentVersion === element.version ? "selected disabled" : "";
+                  return `
+                    ${acc}
+                      <option value="${element.url}" ${status}>
+                        ${element.version}
+                      </option>
+                  `;
+                },
+                `
+                <form autocomplete="off">
+                  <select onchange="window.location.href = this.value">
+                `
+              ) + `
+                  </select>
+                  <svg class="icon icon-chevrons-down"><use xlink:href="#icon-chevrons-down"></use></svg>
+                </form>
+              `;
+          }
+        </script>
+      </h2>
+      <div class="search">
+        <div class="search-input-wrap">
+          <input type="text" id="search-input" class="search-input" tabindex="0" aria-label="Search Assist" autocomplete="off">
+          <label for="search-input" class="search-label"><svg viewBox="0 0 24 24" class="search-icon"><use xlink:href="#icon-svg-search"></use></svg></label>
+        </div>
+        <div id="search-results" class="search-results"></div>
+      </div>
+
+      <button class="search-nav-button" id="search-nav-button" tabindex="0">
+        <svg class="label icon icon-x-circle" alt="Open Search" title="Open Search"><use xlink:href="#icon-svg-search"></use></svg>
+      </button>
+
+      <nav>
+        <a href="https://aiken-lang.github.io/prelude/aiken.html">Prelude</a>
+        <a href="https://aiken-lang.github.io/prelude/aiken/builtin.html">Built-ins</a>
+        <a href="https://aiken-lang.github.io/stdlib">Stdlib</a>
+      </nav>
+    </header>
+
+    <div class="page">
+      <nav class="sidebar">
+        <button class="sidebar-toggle" tabindex="1">
+          <svg class="label icon icon-x-circle" alt="Close Menu" title="Close Menu"><use xlink:href="#icon-x-circle"></use></svg>
+        </button>
+
+        
+        <h2>Source code</h2>
+        <ul>
+          <li><a href="https://github.com/logical-mechanism/Assist">logical-mechanism/Assist</a></li>
+        </ul>
+        
+
+        
+
+<h2>Types</h2>
+<ul>
+  
+  <li><a href="#Moment">Moment</a></li>
+  
+  <li><a href="#Moments">Moments</a></li>
+  
+</ul>
+
+
+
+
+
+<h2>Functions</h2>
+<ul>
+  
+    
+        <li><a href="#shift">shift</a></li>
+
+      
+  
+    
+        <li><a href="#is_logical">is_logical</a></li>
+
+      
+  
+    
+        <li><a href="#is_contained">is_contained</a></li>
+
+      
+  
+    
+        <li><a href="#is_after">is_after</a></li>
+
+      
+  
+    
+        <li><a href="#is_before">is_before</a></li>
+
+      
+  
+</ul>
+
+
+
+        <h2>Modules</h2>
+        <ul>
+        
+	  
+	    <li data-indent="0"><span>cardano</span></li>
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../cardano/addresses.html">
+	      addresses
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../cardano/certificates.html">
+	      certificates
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../cardano/datum.html">
+	      datum
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../cardano/minting.html">
+	      minting
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../cardano/tx.html">
+	      tx
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../cardano/value.html">
+	      value
+	      </a></li>
+	    
+	  
+        
+	  
+	    <li data-indent="0"><span>maths</span></li>
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../maths/boolean.html">
+	      boolean
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../maths/circuits.html">
+	      circuits
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../maths/constants.html">
+	      constants
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../maths/routines.html">
+	      routines
+	      </a></li>
+	    
+	  
+        
+	  
+	    <li data-indent="0"><span>tests</span></li>
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../tests/fake_tx.html">
+	      fake_tx
+	      </a></li>
+	    
+	  
+        
+	  
+	    <li data-indent="0"><span>types</span></li>
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../types/cip68.html">
+	      cip68
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1" data-current><a href="../types/moment.html">
+	      <strong>moment</strong>
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../types/prefixes.html">
+	      prefixes
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../types/token.html">
+	      token
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../types/wallet.html">
+	      wallet
+	      </a></li>
+	    
+	  
+        
+	  
+	    <li data-indent="0"><span>validation</span></li>
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../validation/count.html">
+	      count
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../validation/find.html">
+	      find
+	      </a></li>
+	    
+	  
+        
+	  
+	    
+	      <li data-indent="1"><a href="../validation/payout.html">
+	      payout
+	      </a></li>
+	    
+	  
+        
+        </ul>
+      </nav>
+
+      <main class="content">
+        
+<h1 id="module-name" class="module-name">
+  <a href="#module-name">types/moment</a>
+</h1>
+
+
+
+<section class="module-members">
+  <h1 id="module-types" class="module-member-kind">
+    <a href="#module-types">Types</a>
+  </h1>
+
+  
+  <div class="member">
+    <div class="member-name">
+      <h2 id="Moment">
+        <a href="#Moment">
+	  Moment
+        </a>
+      </h2>
+      
+        <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/logical-mechanism/Assist/blob/v0.5.0/lib/types/moment.ak#L7-L10"></a>
+      
+    </div>
+    <div class="custom-type-constructors">
+      <div class="rendered-markdown"><p>A finite moment of time represented as simple start and end integers.</p>
+</div>
+      
+      <h3>Constructors</h3>
+      <ul class="constructor-list">
+        
+        <li class="constructor-item">
+          <div class="constructor-row">
+            <svg class="icon icon-box"><use xlink:href="#icon-box"></use></svg>
+            <pre class="constructor-name"><code class="hljs aiken">Moment { start: Int, end: Int }</code></pre>
+          </div>
+	  
+        </li>
+        
+      </ul>
+      
+    </div>
+  </div>
+  
+  <div class="member">
+    <div class="member-name">
+      <h2 id="Moments">
+        <a href="#Moments">
+	  Moments
+        </a>
+      </h2>
+      
+        <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/logical-mechanism/Assist/blob/v0.5.0/lib/types/moment.ak#L13-L14"></a>
+      
+    </div>
+    <div class="custom-type-constructors">
+      <div class="rendered-markdown"><p>A finite list of moments of time.</p>
+</div>
+      
+      <h3>Alias</h3>
+      <div class="constructor-row">
+        <svg class="icon icon-at"><use xlink:href="#icon-at"></use></svg>
+        <pre class="constructor-name"><code class="hljs aiken">Moments = List&lt;Moment&gt;</code></pre>
+      </div>
+      
+    </div>
+  </div>
+  
+</section>
+
+
+
+
+
+<section class="module-members">
+  <h1 id="module-functions" class="module-member-kind">
+    <a href="#module-functions">Functions</a>
+  </h1>
+  
+  
+      <div class="member">
+        <div class="member-name">
+          <h2 id="shift"><pre class="hljs language-aiken">shift(m: Moment, t: Int) -&gt; Moment</pre></h2>
+          
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/logical-mechanism/Assist/blob/v0.5.0/lib/types/moment.ak#L22-L24"></a>
+          
+        </div>
+        <div class="rendered-markdown"><p>Shifts a moment by some integer amount. This is great for incrementing
+a fixed moment of time, maybe like an epoch boundary by five days.</p>
+<pre><code class="language-aiken">moment.shift(this_moment, a_day)
+</code></pre>
+</div>
+      </div>
+    
+  
+  
+      <div class="member">
+        <div class="member-name">
+          <h2 id="is_logical"><pre class="hljs language-aiken">is_logical(m: Moment) -&gt; Bool</pre></h2>
+          
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/logical-mechanism/Assist/blob/v0.5.0/lib/types/moment.ak#L48-L54"></a>
+          
+        </div>
+        <div class="rendered-markdown"><p>Check if a moment data structure is logical.</p>
+<pre><code class="language-aiken">moment.is_logical(datum.moment)
+</code></pre>
+</div>
+      </div>
+    
+  
+  
+      <div class="member">
+        <div class="member-name">
+          <h2 id="is_contained"><pre class="hljs language-aiken">is_contained(m: Moment, vr: ValidityRange) -&gt; Bool</pre></h2>
+          
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/logical-mechanism/Assist/blob/v0.5.0/lib/types/moment.ak#L84-L106"></a>
+          
+        </div>
+        <div class="rendered-markdown"><p>Check if a validity range is contained within some moment.
+This assumes inclusivity.</p>
+<p>|start–|lower––upper|–end|</p>
+<pre><code class="language-aiken">moment.is_contained(datum.moment, this_tx.validity_range)
+</code></pre>
+</div>
+      </div>
+    
+  
+  
+      <div class="member">
+        <div class="member-name">
+          <h2 id="is_after"><pre class="hljs language-aiken">is_after(m: Moment, vr: ValidityRange) -&gt; Bool</pre></h2>
+          
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/logical-mechanism/Assist/blob/v0.5.0/lib/types/moment.ak#L200-L209"></a>
+          
+        </div>
+        <div class="rendered-markdown"><p>Check if a validity range of a tx is after a moment.
+This assumes exclusivity.</p>
+<p>|start––end|–|lower––upper|</p>
+<pre><code class="language-aiken">moment.is_after(datum.moment, this_tx.validity_range)
+</code></pre>
+</div>
+      </div>
+    
+  
+  
+      <div class="member">
+        <div class="member-name">
+          <h2 id="is_before"><pre class="hljs language-aiken">is_before(m: Moment, vr: ValidityRange) -&gt; Bool</pre></h2>
+          
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/logical-mechanism/Assist/blob/v0.5.0/lib/types/moment.ak#L279-L288"></a>
+          
+        </div>
+        <div class="rendered-markdown"><p>Check if a validity range of a tx is before a moment.
+This assumes exclusivity.</p>
+<p>|lower––upper|–|start––end|</p>
+<pre><code class="language-aiken">moment.is_before(datum.moment, this_tx.validity_range)
+</code></pre>
+</div>
+      </div>
+    
+  
+</section>
+
+
+      </main>
+      <div class="search-overlay"></div>
+    </div>
+
+    <svg class="svg-lib" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+      <defs>
+        <symbol id="icon-chevrons-down" viewBox="0 0 24 24"><path d="M6.293 13.707l5 5c0.391 0.391 1.024 0.391 1.414 0l5-5c0.391-0.391 0.391-1.024 0-1.414s-1.024-0.391-1.414 0l-4.293 4.293-4.293-4.293c-0.391-0.391-1.024-0.391-1.414 0s-0.391 1.024 0 1.414zM6.293 6.707l5 5c0.391 0.391 1.024 0.391 1.414 0l5-5c0.391-0.391 0.391-1.024 0-1.414s-1.024-0.391-1.414 0l-4.293 4.293-4.293-4.293c-0.391-0.391-1.024-0.391-1.414 0s-0.391 1.024 0 1.414z"></path></symbol>
+
+        <symbol id="icon-menu" viewBox="0 0 24 24"><path d="M3 13h18c0.552 0 1-0.448 1-1s-0.448-1-1-1h-18c-0.552 0-1 0.448-1 1s0.448 1 1 1zM3 7h18c0.552 0 1-0.448 1-1s-0.448-1-1-1h-18c-0.552 0-1 0.448-1 1s0.448 1 1 1zM3 19h18c0.552 0 1-0.448 1-1s-0.448-1-1-1h-18c-0.552 0-1 0.448-1 1s0.448 1 1 1z"></path></symbol>
+
+	<symbol id="icon-external-link" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></symbol>
+
+        <symbol id="icon-moon" viewBox="0 0 24 24"><path d="M21.996 12.882c0.022-0.233-0.038-0.476-0.188-0.681-0.325-0.446-0.951-0.544-1.397-0.219-0.95 0.693-2.060 1.086-3.188 1.162-1.368 0.092-2.765-0.283-3.95-1.158-1.333-0.985-2.139-2.415-2.367-3.935s0.124-3.124 1.109-4.456c0.142-0.191 0.216-0.435 0.191-0.691-0.053-0.55-0.542-0.952-1.092-0.898-2.258 0.22-4.314 1.18-5.895 2.651-1.736 1.615-2.902 3.847-3.137 6.386-0.254 2.749 0.631 5.343 2.266 7.311s4.022 3.313 6.772 3.567 5.343-0.631 7.311-2.266 3.313-4.022 3.567-6.772zM19.567 14.674c-0.49 1.363-1.335 2.543-2.416 3.441-1.576 1.309-3.648 2.016-5.848 1.813s-4.108-1.278-5.417-2.854-2.016-3.648-1.813-5.848c0.187-2.032 1.117-3.814 2.507-5.106 0.782-0.728 1.71-1.3 2.731-1.672-0.456 1.264-0.577 2.606-0.384 3.899 0.303 2.023 1.38 3.934 3.156 5.247 1.578 1.167 3.448 1.668 5.272 1.545 0.752-0.050 1.496-0.207 2.21-0.465z"></path></symbol>
+
+        <symbol id="icon-more-horizontal" viewBox="0 0 24 24"><path d="M14 12c0-0.552-0.225-1.053-0.586-1.414s-0.862-0.586-1.414-0.586-1.053 0.225-1.414 0.586-0.586 0.862-0.586 1.414 0.225 1.053 0.586 1.414 0.862 0.586 1.414 0.586 1.053-0.225 1.414-0.586 0.586-0.862 0.586-1.414zM21 12c0-0.552-0.225-1.053-0.586-1.414s-0.862-0.586-1.414-0.586-1.053 0.225-1.414 0.586-0.586 0.862-0.586 1.414 0.225 1.053 0.586 1.414 0.862 0.586 1.414 0.586 1.053-0.225 1.414-0.586 0.586-0.862 0.586-1.414zM7 12c0-0.552-0.225-1.053-0.586-1.414s-0.862-0.586-1.414-0.586-1.053 0.225-1.414 0.586-0.586 0.862-0.586 1.414 0.225 1.053 0.586 1.414 0.862 0.586 1.414 0.586 1.053-0.225 1.414-0.586 0.586-0.862 0.586-1.414z"></path></symbol>
+
+        <symbol id="icon-more-vertical" viewBox="0 0 24 24"><path d="M14 12c0-0.552-0.225-1.053-0.586-1.414s-0.862-0.586-1.414-0.586-1.053 0.225-1.414 0.586-0.586 0.862-0.586 1.414 0.225 1.053 0.586 1.414 0.862 0.586 1.414 0.586 1.053-0.225 1.414-0.586 0.586-0.862 0.586-1.414zM14 5c0-0.552-0.225-1.053-0.586-1.414s-0.862-0.586-1.414-0.586-1.053 0.225-1.414 0.586-0.586 0.862-0.586 1.414 0.225 1.053 0.586 1.414 0.862 0.586 1.414 0.586 1.053-0.225 1.414-0.586 0.586-0.862 0.586-1.414zM14 19c0-0.552-0.225-1.053-0.586-1.414s-0.862-0.586-1.414-0.586-1.053 0.225-1.414 0.586-0.586 0.862-0.586 1.414 0.225 1.053 0.586 1.414 0.862 0.586 1.414 0.586 1.053-0.225 1.414-0.586 0.586-0.862 0.586-1.414z"></path></symbol>
+
+        <symbol id="icon-sun" viewBox="0 0 24 24"><path d="M18 12c0-1.657-0.673-3.158-1.757-4.243s-2.586-1.757-4.243-1.757-3.158 0.673-4.243 1.757-1.757 2.586-1.757 4.243 0.673 3.158 1.757 4.243 2.586 1.757 4.243 1.757 3.158-0.673 4.243-1.757 1.757-2.586 1.757-4.243zM16 12c0 1.105-0.447 2.103-1.172 2.828s-1.723 1.172-2.828 1.172-2.103-0.447-2.828-1.172-1.172-1.723-1.172-2.828 0.447-2.103 1.172-2.828 1.723-1.172 2.828-1.172 2.103 0.447 2.828 1.172 1.172 1.723 1.172 2.828zM11 1v2c0 0.552 0.448 1 1 1s1-0.448 1-1v-2c0-0.552-0.448-1-1-1s-1 0.448-1 1zM11 21v2c0 0.552 0.448 1 1 1s1-0.448 1-1v-2c0-0.552-0.448-1-1-1s-1 0.448-1 1zM3.513 4.927l1.42 1.42c0.391 0.391 1.024 0.391 1.414 0s0.391-1.024 0-1.414l-1.42-1.42c-0.391-0.391-1.024-0.391-1.414 0s-0.391 1.024 0 1.414zM17.653 19.067l1.42 1.42c0.391 0.391 1.024 0.391 1.414 0s0.391-1.024 0-1.414l-1.42-1.42c-0.391-0.391-1.024-0.391-1.414 0s-0.391 1.024 0 1.414zM1 13h2c0.552 0 1-0.448 1-1s-0.448-1-1-1h-2c-0.552 0-1 0.448-1 1s0.448 1 1 1zM21 13h2c0.552 0 1-0.448 1-1s-0.448-1-1-1h-2c-0.552 0-1 0.448-1 1s0.448 1 1 1zM4.927 20.487l1.42-1.42c0.391-0.391 0.391-1.024 0-1.414s-1.024-0.391-1.414 0l-1.42 1.42c-0.391 0.391-0.391 1.024 0 1.414s1.024 0.391 1.414 0zM19.067 6.347l1.42-1.42c0.391-0.391 0.391-1.024 0-1.414s-1.024-0.391-1.414 0l-1.42 1.42c-0.391 0.391-0.391 1.024 0 1.414s1.024 0.391 1.414 0z"></path></symbol>
+
+        <symbol id="icon-toggle-left" viewBox="0 0 24 24"><path d="M8 4c-2.209 0-4.21 0.897-5.657 2.343s-2.343 3.448-2.343 5.657 0.897 4.21 2.343 5.657 3.448 2.343 5.657 2.343h8c2.209 0 4.21-0.897 5.657-2.343s2.343-3.448 2.343-5.657-0.897-4.21-2.343-5.657-3.448-2.343-5.657-2.343zM8 6h8c1.657 0 3.156 0.67 4.243 1.757s1.757 2.586 1.757 4.243-0.67 3.156-1.757 4.243-2.586 1.757-4.243 1.757h-8c-1.657 0-3.156-0.67-4.243-1.757s-1.757-2.586-1.757-4.243 0.67-3.156 1.757-4.243 2.586-1.757 4.243-1.757zM12 12c0-1.104-0.449-2.106-1.172-2.828s-1.724-1.172-2.828-1.172-2.106 0.449-2.828 1.172-1.172 1.724-1.172 2.828 0.449 2.106 1.172 2.828 1.724 1.172 2.828 1.172 2.106-0.449 2.828-1.172 1.172-1.724 1.172-2.828zM10 12c0 0.553-0.223 1.051-0.586 1.414s-0.861 0.586-1.414 0.586-1.051-0.223-1.414-0.586-0.586-0.861-0.586-1.414 0.223-1.051 0.586-1.414 0.861-0.586 1.414-0.586 1.051 0.223 1.414 0.586 0.586 0.861 0.586 1.414z"></path></symbol>
+
+        <symbol id="icon-toggle-right" viewBox="0 0 24 24"><path d="M8 4c-2.209 0-4.21 0.897-5.657 2.343s-2.343 3.448-2.343 5.657 0.897 4.21 2.343 5.657 3.448 2.343 5.657 2.343h8c2.209 0 4.21-0.897 5.657-2.343s2.343-3.448 2.343-5.657-0.897-4.21-2.343-5.657-3.448-2.343-5.657-2.343zM8 6h8c1.657 0 3.156 0.67 4.243 1.757s1.757 2.586 1.757 4.243-0.67 3.156-1.757 4.243-2.586 1.757-4.243 1.757h-8c-1.657 0-3.156-0.67-4.243-1.757s-1.757-2.586-1.757-4.243 0.67-3.156 1.757-4.243 2.586-1.757 4.243-1.757zM20 12c0-1.104-0.449-2.106-1.172-2.828s-1.724-1.172-2.828-1.172-2.106 0.449-2.828 1.172-1.172 1.724-1.172 2.828 0.449 2.106 1.172 2.828 1.724 1.172 2.828 1.172 2.106-0.449 2.828-1.172 1.172-1.724 1.172-2.828zM18 12c0 0.553-0.223 1.051-0.586 1.414s-0.861 0.586-1.414 0.586-1.051-0.223-1.414-0.586-0.586-0.861-0.586-1.414 0.223-1.051 0.586-1.414 0.861-0.586 1.414-0.586 1.051 0.223 1.414 0.586 0.586 0.861 0.586 1.414z"></path></symbol>
+
+        <symbol id="icon-x-circle" viewBox="0 0 24 24"><path d="M23 12c0-3.037-1.232-5.789-3.222-7.778s-4.741-3.222-7.778-3.222-5.789 1.232-7.778 3.222-3.222 4.741-3.222 7.778 1.232 5.789 3.222 7.778 4.741 3.222 7.778 3.222 5.789-1.232 7.778-3.222 3.222-4.741 3.222-7.778zM21 12c0 2.486-1.006 4.734-2.636 6.364s-3.878 2.636-6.364 2.636-4.734-1.006-6.364-2.636-2.636-3.878-2.636-6.364 1.006-4.734 2.636-6.364 3.878-2.636 6.364-2.636 4.734 1.006 6.364 2.636 2.636 3.878 2.636 6.364zM8.293 9.707l2.293 2.293-2.293 2.293c-0.391 0.391-0.391 1.024 0 1.414s1.024 0.391 1.414 0l2.293-2.293 2.293 2.293c0.391 0.391 1.024 0.391 1.414 0s0.391-1.024 0-1.414l-2.293-2.293 2.293-2.293c0.391-0.391 0.391-1.024 0-1.414s-1.024-0.391-1.414 0l-2.293 2.293-2.293-2.293c-0.391-0.391-1.024-0.391-1.414 0s-0.391 1.024 0 1.414z"></path></symbol>
+
+        <symbol id="icon-svg-search" viewBox="0 0 24 24">
+            <title>Search</title>
+            <svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-search">
+                <circle cx="11" cy="11" r="8"></circle><line x1="21" y1="21" x2="16.65" y2="16.65"></line>
+            </svg>
+        </symbol>
+
+        <symbol id="icon-svg-doc" viewBox="0 0 24 24">
+            <title>Document</title>
+            <svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-file">
+                <path d="M13 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V9z"></path><polyline points="13 2 13 9 20 9"></polyline>
+            </svg>
+        </symbol>
+	<symbol id="icon-at" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-at-sign">
+	  <circle cx="12" cy="12" r="4"></circle>
+	  <path d="M16 8v5a3 3 0 0 0 6 0v-1a10 10 0 1 0-3.92 7.94"></path>
+	</symbol>
+	<symbol id="icon-box" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-box">
+	  <path d="M21 16V8a2 2 0 0 0-1-1.73l-7-4a2 2 0 0 0-2 0l-7 4A2 2 0 0 0 3 8v8a2 2 0 0 0 1 1.73l7 4a2 2 0 0 0 2 0l7-4A2 2 0 0 0 21 16z"></path>
+	  <polyline points="3.27 6.96 12 12.01 20.73 6.96"></polyline>
+	  <line x1="12" y1="22.08" x2="12" y2="12"></line>
+        </symbol>
+
+	<symbol id="icon-note" viewBox="0 0 16 16" fill="currentColor">
+          <path d="M0 8a8 8 0 1 1 16 0A8 8 0 0 1 0 8Zm8-6.5a6.5 6.5 0 1 0 0 13 6.5 6.5 0 0 0 0-13ZM6.5 7.75A.75.75 0 0 1 7.25 7h1a.75.75 0 0 1 .75.75v2.75h.25a.75.75 0 0 1 0 1.5h-2a.75.75 0 0 1 0-1.5h.25v-2h-.25a.75.75 0 0 1-.75-.75ZM8 6a1 1 0 1 1 0-2 1 1 0 0 1 0 2Z"></path>
+	</symbol>
+
+	<symbol id="icon-tip" viewBox="0 0 16 16" fill="currentColor">
+          <path d="M8 1.5c-2.363 0-4 1.69-4 3.75 0 .984.424 1.625.984 2.304l.214.253c.223.264.47.556.673.848.284.411.537.896.621 1.49a.75.75 0 0 1-1.484.211c-.04-.282-.163-.547-.37-.847a8.456 8.456 0 0 0-.542-.68c-.084-.1-.173-.205-.268-.32C3.201 7.75 2.5 6.766 2.5 5.25 2.5 2.31 4.863 0 8 0s5.5 2.31 5.5 5.25c0 1.516-.701 2.5-1.328 3.259-.095.115-.184.22-.268.319-.207.245-.383.453-.541.681-.208.3-.33.565-.37.847a.751.751 0 0 1-1.485-.212c.084-.593.337-1.078.621-1.489.203-.292.45-.584.673-.848.075-.088.147-.173.213-.253.561-.679.985-1.32.985-2.304 0-2.06-1.637-3.75-4-3.75ZM5.75 12h4.5a.75.75 0 0 1 0 1.5h-4.5a.75.75 0 0 1 0-1.5ZM6 15.25a.75.75 0 0 1 .75-.75h2.5a.75.75 0 0 1 0 1.5h-2.5a.75.75 0 0 1-.75-.75Z"></path>
+	</symbol>
+
+	<symbol id="icon-important" viewBox="0 0 16 16" fill="currentColor">
+          <path d="M0 1.75C0 .784.784 0 1.75 0h12.5C15.216 0 16 .784 16 1.75v9.5A1.75 1.75 0 0 1 14.25 13H8.06l-2.573 2.573A1.458 1.458 0 0 1 3 14.543V13H1.75A1.75 1.75 0 0 1 0 11.25Zm1.75-.25a.25.25 0 0 0-.25.25v9.5c0 .138.112.25.25.25h2a.75.75 0 0 1 .75.75v2.19l2.72-2.72a.749.749 0 0 1 .53-.22h6.5a.25.25 0 0 0 .25-.25v-9.5a.25.25 0 0 0-.25-.25Zm7 2.25v2.5a.75.75 0 0 1-1.5 0v-2.5a.75.75 0 0 1 1.5 0ZM9 9a1 1 0 1 1-2 0 1 1 0 0 1 2 0Z"></path>
+	</symbol>
+
+	<symbol id="icon-warning" viewBox="0 0 16 16" fill="currentColor">
+	  <path d="M6.457 1.047c.659-1.234 2.427-1.234 3.086 0l6.082 11.378A1.75 1.75 0 0 1 14.082 15H1.918a1.75 1.75 0 0 1-1.543-2.575Zm1.763.707a.25.25 0 0 0-.44 0L1.698 13.132a.25.25 0 0 0 .22.368h12.164a.25.25 0 0 0 .22-.368Zm.53 3.996v2.5a.75.75 0 0 1-1.5 0v-2.5a.75.75 0 0 1 1.5 0ZM9 11a1 1 0 1 1-2 0 1 1 0 0 1 2 0Z"></path>
+	</symbol>
+
+	<symbol id="icon-caution" viewBox="0 0 16 16" fill="currentColor">
+	  <path d="M4.47.22A.749.749 0 0 1 5 0h6c.199 0 .389.079.53.22l4.25 4.25c.141.14.22.331.22.53v6a.749.749 0 0 1-.22.53l-4.25 4.25A.749.749 0 0 1 11 16H5a.749.749 0 0 1-.53-.22L.22 11.53A.749.749 0 0 1 0 11V5c0-.199.079-.389.22-.53Zm.84 1.28L1.5 5.31v5.38l3.81 3.81h5.38l3.81-3.81V5.31L10.69 1.5ZM8 4a.75.75 0 0 1 .75.75v3.5a.75.75 0 0 1-1.5 0v-3.5A.75.75 0 0 1 8 4Zm0 8a1 1 0 1 1 0-2 1 1 0 0 1 0 2Z"></path>
+	</symbol>
+
+
+
+
+      </defs>
+    </svg>
+
+    <script src="../js/highlight.min.js?v=1.1.0"></script>
+    <script src="../js/highlightjs-aiken.js?v=1.1.0"></script>
+    <script>
+      document.querySelectorAll("pre code").forEach((elem) => {
+        if (elem.className === "") {
+          elem.classList.add("aiken");
+        }
+      });
+      hljs.highlightAll();
+      document.querySelectorAll(".member-name > h2 > pre").forEach((el) => {
+	hljs.highlightElement(el)
+	const span = el.firstElementChild;
+	span.remove();
+	const a = document.createElement("a");
+	a.href = `#${span.innerText}`;
+	a.className = span.className;
+	a.innerText = span.innerText;
+	el.prepend(a);
+      });
+
+      function addIcon(icon) {
+	return (el) => {
+	  const span = document.createElement('span');
+	  span.classList = 'icon-group';
+	  span.innerText = icon;
+	  const svg = document.createElementNS('http://www.w3.org/2000/svg', 'svg');
+	  svg.classList = 'icon';
+	  const link = document.createElementNS('http://www.w3.org/2000/svg', 'use');
+	  link.setAttributeNS('http://www.w3.org/1999/xlink', 'xlink:href', `#icon-${icon}`);
+	  svg.appendChild(link);
+	  span.prepend(svg)
+	  el.prepend(span);
+	}
+      }
+
+      document.querySelectorAll("blockquote.markdown-alert-note").forEach(addIcon('note'));
+      document.querySelectorAll("blockquote.markdown-alert-tip").forEach(addIcon('tip'));
+      document.querySelectorAll("blockquote.markdown-alert-important").forEach(addIcon('important'));
+      document.querySelectorAll("blockquote.markdown-alert-warning").forEach(addIcon('warning'));
+      document.querySelectorAll("blockquote.markdown-alert-caution").forEach(addIcon('caution'));
+    </script>
+    <script src="https://unpkg.com/@popperjs/core@2"></script>
+    <script src="https://unpkg.com/tippy.js@6"></script>
+    <script src="../js/lunr.min.js?v=1.1.0"></script>
+    <script src="../js/index.js?v=1725398652"></script>
+    <!-- Load the search index using JSONP to avoid CORS issues -->
+    <script src="../search-data.js?v=1725398652"></script>
+    <script>
+      void function() {
+        if (typeof tippy !== "undefined") {
+	  const overflowed = Array.from(document
+            .querySelectorAll('.sidebar li:not([data-indent])'))
+	    .filter(x => x.offsetWidth < x.scrollWidth);
+
+	  tippy(overflowed, {
+	    arrow: true,
+  	    placement: 'right',
+	    content: (el) => el.children[0]?.innerText,
+          });
+
+	  tippy('.sidebar li[data-indent] a', {
+	    arrow: true,
+  	    placement: 'right',
+	    content: (el) => el
+	      .getAttribute('href')
+	      .replaceAll(/\.?\.\//g, '')
+	      .replace('.html', ''),
+	  });
+	}
+      }();
+    </script>
+  </body>
+</html>
\ No newline at end of file
diff --git a/docs/types/prefixes.html b/docs/types/prefixes.html
index 7a5c09f..599d4e7 100644
--- a/docs/types/prefixes.html
+++ b/docs/types/prefixes.html
@@ -322,6 +322,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1" data-current><a href="../types/prefixes.html">
 	      <strong>prefixes</strong>
 	      </a></li>
@@ -549,9 +557,9 @@ <h2 id="seed"><pre class="hljs language-aiken">seed: ByteArray = #&quot;5eed0e1f
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/types/token.html b/docs/types/token.html
index c155a1a..bc6179a 100644
--- a/docs/types/token.html
+++ b/docs/types/token.html
@@ -380,6 +380,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -815,9 +823,9 @@ <h2 id="contains"><pre class="hljs language-aiken">contains(total: Tokens, targe
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/types/wallet.html b/docs/types/wallet.html
index a7ca7cc..0d3892a 100644
--- a/docs/types/wallet.html
+++ b/docs/types/wallet.html
@@ -335,6 +335,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -623,9 +631,9 @@ <h2 id="is_valid"><pre class="hljs language-aiken">is_valid(wallet: Wallet) -&gt
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/validation/count.html b/docs/validation/count.html
index 847d171..94fd1b2 100644
--- a/docs/validation/count.html
+++ b/docs/validation/count.html
@@ -351,6 +351,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -664,9 +672,9 @@ <h2 id="single_input_with_bypass"><pre class="hljs language-aiken">single_input_
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/validation/find.html b/docs/validation/find.html
index 52085d0..dd331ae 100644
--- a/docs/validation/find.html
+++ b/docs/validation/find.html
@@ -381,6 +381,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -802,9 +810,9 @@ <h2 id="input_by_nft"><pre class="hljs language-aiken">input_by_nft(inputs: List
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {
diff --git a/docs/validation/payout.html b/docs/validation/payout.html
index f4762d5..7a1404f 100644
--- a/docs/validation/payout.html
+++ b/docs/validation/payout.html
@@ -326,6 +326,14 @@ <h2>Modules</h2>
         
 	  
 	    
+	      <li data-indent="1"><a href="../types/moment.html">
+	      moment
+	      </a></li>
+	    
+	  
+        
+	  
+	    
 	      <li data-indent="1"><a href="../types/prefixes.html">
 	      prefixes
 	      </a></li>
@@ -561,9 +569,9 @@ <h2 id="at_least"><pre class="hljs language-aiken">at_least(
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
     <script src="../js/lunr.min.js?v=1.1.0"></script>
-    <script src="../js/index.js?v=1725218259"></script>
+    <script src="../js/index.js?v=1725398652"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1725218259"></script>
+    <script src="../search-data.js?v=1725398652"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {