Sdk_tvc
val read : string -> Sdk_types.state_init
val data : Sdk_types.state_init -> string
val data_hash : Sdk_types.state_init -> string
val data_depth : Sdk_types.state_init -> int64
val code : Sdk_types.state_init -> string
val code_hash : Sdk_types.state_init -> string
val code_depth : Sdk_types.state_init -> int64