Contract_services (tezos-protocol-003-PsddFKi3.Tezos_raw_protocol_003_PsddFKi3.Contract

val list : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t list
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

type info = {

manager : Alpha_context.public_key_hash;
balance : Alpha_context.Tez.t;
spendable : bool;
delegate : bool * Alpha_context.public_key_hash option;
counter : Alpha_context.counter;
script : Alpha_context.Script.t option;

}

val info_encoding : 
  info Tezos_protocol_environment_003_PsddFKi3.Data_encoding.t

val info : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  info Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val balance : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Tez.t
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val manager : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.public_key_hash
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val manager_key : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.public_key_hash * Alpha_context.public_key option)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val delegate : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.public_key_hash
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val delegate_opt : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.public_key_hash option
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val is_delegatable : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  bool Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val is_spendable : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  bool Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val counter : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.counter
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val script : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Script.t
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val script_opt : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Script.t option
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val storage : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Script.expr
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val storage_opt : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Script.expr option
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val big_map_get_opt : 
  'a Tezos_protocol_environment_003_PsddFKi3.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.Script.expr * Alpha_context.Script.expr) ->
  Alpha_context.Script.expr option
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.shell_tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

val register : unit -> unit