Tezos_raw_protocol_alpha.Contract_kind_reprtype implementation_kind = | Script_code of Script_repr.lazy_expr| Native_kind of Script_native_repr.tval michelson_with_storage_encoding :
Script_repr.t Tezos_protocol_environment_alpha.Data_encoding.encodingval native_with_storage_encoding :
Script_native_repr.with_storage
Tezos_protocol_environment_alpha.Data_encoding.t