package tezos-protocol-006-PsCARTHA
include BASIC_DATA
include Tezos_protocol_environment_006_PsCARTHA.Compare.S with type t := t
val encoding : t Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t
val pp : Tezos_protocol_environment_006_PsCARTHA.Format.formatter -> t -> unit
type contract = t
val rpc_arg : contract Tezos_protocol_environment_006_PsCARTHA.RPC_arg.arg
val to_b58check : contract -> string
val of_b58check :
string ->
contract Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
val implicit_contract : public_key_hash -> contract
val is_implicit : contract -> public_key_hash option
val must_exist :
context ->
contract ->
unit Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val allocated :
context ->
contract ->
bool Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val must_be_allocated :
context ->
contract ->
unit Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val list :
context ->
contract list Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val is_manager_key_revealed :
context ->
public_key_hash ->
bool Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val reveal_manager_key :
context ->
public_key_hash ->
public_key ->
context Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val get_script_code :
context ->
contract ->
(context * Script.lazy_expr option)
Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val get_script :
context ->
contract ->
(context * Script.t option)
Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val get_storage :
context ->
contract ->
(context * Script.expr option)
Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val init_origination_nonce :
context ->
Tezos_protocol_environment_006_PsCARTHA.Operation_hash.t ->
context
val fresh_contract_from_current_nonce :
context ->
(context * t) Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val originated_from_current_nonce :
since:context ->
until:context ->
contract list Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
type big_map_diff_item =
| Update of {
big_map : Big_map.id;
diff_key : Script.expr;
diff_key_hash : Script_expr_hash.t;
diff_value : Script.expr option;
}
| Clear of Big_map.id
| Copy of Big_map.id * Big_map.id
| Alloc of {
big_map : Big_map.id;
key_type : Script.expr;
value_type : Script.expr;
}
type big_map_diff = big_map_diff_item list
val big_map_diff_encoding :
big_map_diff Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t
val originate :
context ->
contract ->
balance:Tez.t ->
script:(Script.t * big_map_diff option) ->
delegate:public_key_hash option ->
context Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val update_script_storage :
context ->
contract ->
Script.expr ->
big_map_diff option ->
context Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val increment_counter :
context ->
public_key_hash ->
context Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
val check_counter_increment :
context ->
public_key_hash ->
Tezos_protocol_environment_006_PsCARTHA.Z.t ->
unit Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
Tezos_protocol_environment_006_PsCARTHA.Lwt.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>