package tezos-protocol-014-PtKathma

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This module re-exports definitions from Parameters_repr.

type bootstrap_account = {

public_key_hash : public_key_hash;
public_key : public_key option;
amount : Tez.t;
delegate_to : public_key_hash option;

}

type bootstrap_contract = {

delegate : public_key_hash option;
amount : Tez.t;
script : Script.t;

}

type t = {

bootstrap_accounts : bootstrap_account list;
bootstrap_contracts : bootstrap_contract list;
commitments : Commitment.t list;
constants : Constants.Parametric.t;
security_deposit_ramp_up_cycles : int option;
no_reward_cycles : int option;

}

val encoding : t Tezos_protocol_environment_014_PtKathma.Data_encoding.t