Module Tezos_raw_protocol_alpha.Script_address_registry

type Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | Address_registry_invalid_counter
val index : Tezos_raw_protocol_alpha__Alpha_context.t -> Tezos_raw_protocol_alpha__Alpha_context.Destination.t -> (Script_int.n Script_int.num * Tezos_raw_protocol_alpha__Alpha_context.t, Tezos_protocol_environment_alpha.Error_monad.error Tezos_protocol_environment_alpha.Error_monad.trace) Tezos_protocol_environment_alpha.Pervasives.result Tezos_protocol_environment_alpha.Lwt.t
val get : Tezos_raw_protocol_alpha__Alpha_context.t -> Tezos_raw_protocol_alpha__Alpha_context.Destination.t -> (Script_int.n Script_int.num option * Tezos_raw_protocol_alpha__Alpha_context.t, Tezos_protocol_environment_alpha.Error_monad.error Tezos_protocol_environment_alpha.Error_monad.trace) Tezos_protocol_environment_alpha.Pervasives.result Tezos_protocol_environment_alpha.Lwt.t