package tezos-protocol-014-PtKathma

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Simple abstraction from low-level storage to handle frozen deposits

init ctxt delegate returns a new context from ctxt where the frozen deposits of the implicit contract represented by delegate have been initialized to Tez_repr.zero.

allocated ctxt contract checks whether contract has frozen deposits in ctxt.

find ctxt contract retrieves the frozen deposits of contract in ctxt, if any.

credit_only_call_from_token ctxt delegate tez returns a new context from ctxt where the amount of frozen deposits for the implicit contract represented by delegate increases by tez.

spend_only_call_from_token ctxt delegate tez returns a new context from ctxt where the amount of frozen deposits for the implicit contract represented by delegate decreases by tez.

update_initial_amount ctxt contract tez returns a new context from ctxt where the initial_amount of the frozen deposits for contract is set to tez.

OCaml

Innovation. Community. Security.