Tezos_raw_protocol_alpha.Script_nativemodule CLST_contract : sig ... endval execute :
(Alpha_context.context * Script_typed_ir.step_constants) ->
('arg, 'storage) Script_native_types.kind ->
'arg ->
'storage ->
((Script_typed_ir.operation Script_list.t, 'storage) Script_typed_ir.pair
* Alpha_context.context)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.t