package tezos-protocol-alpha

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-alpha

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tezos_raw_protocol_alpha.Destination_storage`Source

val must_exist : 
  Raw_context.t ->
  Destination_repr.t ->
  Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

must_exist ctxt dest checks whether the given destination dest exists in the context ctxt. If the destination exists, a new context is returned with gas consumed for the lookup cost. If it does not exist, an error is returned.

package tezos-protocol-alpha

Module Tezos_raw_protocol_alpha.Destination_storageSource

Module `Tezos_raw_protocol_alpha.Destination_storage`Source