Legacy (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Alpha

type transaction =
  Mavryk_protocol_environment_alpha.Sapling.UTXO.Legacy.transaction

val transaction_encoding : 
  transaction Mavryk_protocol_environment_alpha.Data_encoding.t

val transaction_get_memo_size : transaction -> Memo_size.t option

val transaction_in_memory_size : 
  transaction ->
  Saturation_repr.may_saturate Saturation_repr.t

val verify_update : 
  context ->
  state ->
  transaction ->
  string ->
  (context * (Mavryk_protocol_environment_alpha.Int64.t * state) option)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t