Module Mavryk_raw_protocol_alpha.Destination_storage

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.