package tezos-protocol-015-PtLimaPt

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

Simple abstraction from low-level storage to handle frozen deposits.

This module is responsible for maintaining the Storage.Contract.Frozen_deposits table.

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.