Script_native (tezos-protocol-alpha.Tezos_raw_protocol_alpha.Script

module CLST_contract : sig ... end

val 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