Script_native (tezos-protocol-025-PsGXQmSv.Tezos_raw_protocol_025_PsGXQmSv.Script

module CLST_contract : sig ... end

val get_views : 
  'arg 'storage. ('arg, 'storage) Script_native_types.kind ->
  (Script_string.t, 'storage Script_native_types.ex_view) Script_typed_ir.map
    Tezos_protocol_environment_025_PsGXQmSv.Error_monad.tzresult

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
    * Alpha_context.Receipt.balance_updates)
   * Alpha_context.context)
    Tezos_protocol_environment_025_PsGXQmSv.Error_monad.tzresult
    Tezos_protocol_environment_025_PsGXQmSv.Lwt.t