inductive MidgardTxValidity : Type

• TxIsValid : MidgardTxValidity
• NonExistentInputUtxo : MidgardTxValidity
• InvalidSignature : MidgardTxValidity
• FailedScript : MidgardTxValidity
• FeeTooLow : MidgardTxValidity
• UnbalancedTx : MidgardTxValidity

structure MidgardTxBody : Type

• spend_inputs : Hash_64
• reference_inputs : Option Hash_64
• outputs : Hash_64
• fee : Coin
• validity_interval : Option TimeInterval
• required_observers : Option Hash_64
• required_signer_hashes : Option Hash_64
• mint : Option Value
• script_integrity_hash : Option Hash_64
• auxiliary_data_hash : Option Hash_64
• network_id : Option Network

structure MidgardTxWits : Type

• addr_tx_wits : Option Hash_64
• script_tx_wits : Option Hash_64
• redeemer_tx_wits : Option Hash_64

structure MidgardTX : Type

• body : Hash_64
• wits : Hash_64
• validity : MidgardTxValidity