diagnostic(self: a, name: String, d: String) -> Void

data(self: Data, name: String) -> Void

tx(self: Transaction) -> Void

input(self: Input, name: String) -> Void

output(self: Output, name: String) -> Void

value(self: Value, name: String) -> Void

minted_value(self: Value, name: String) -> Void

int(self: Int, name: String) -> Void

redeemers(self: Pairs<ScriptPurpose, Redeemer>, name: String) -> Void

credential(self: Credential, name: String) -> Void

out_ref(self: OutputReference, name: String) -> Void

address(self: Address, name: String) -> Void

datum(self: Datum, name: String) -> Void

bytearray(self: ByteArray, name: String) -> Void