package tezos-protocol-003-PsddFKi3

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, functor version)

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-16.1.tar.gz

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/src/tezos-protocol-003-PsddFKi3.raw/tezos_raw_protocol_003_PsddFKi3.ml.html

Source file `tezos_raw_protocol_003_PsddFKi3.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
(* generated by dune *)

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Alpha_context *)
module Alpha_context = Tezos_raw_protocol_003_PsddFKi3__Alpha_context

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Alpha_services *)
module Alpha_services = Tezos_raw_protocol_003_PsddFKi3__Alpha_services

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Amendment *)
module Amendment = Tezos_raw_protocol_003_PsddFKi3__Amendment

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Apply *)
module Apply = Tezos_raw_protocol_003_PsddFKi3__Apply

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Apply_results *)
module Apply_results = Tezos_raw_protocol_003_PsddFKi3__Apply_results

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Baking *)
module Baking = Tezos_raw_protocol_003_PsddFKi3__Baking

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Blinded_public_key_hash *)
module Blinded_public_key_hash = Tezos_raw_protocol_003_PsddFKi3__Blinded_public_key_hash

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Block_header_repr *)
module Block_header_repr = Tezos_raw_protocol_003_PsddFKi3__Block_header_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Bootstrap_storage *)
module Bootstrap_storage = Tezos_raw_protocol_003_PsddFKi3__Bootstrap_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Commitment_repr *)
module Commitment_repr = Tezos_raw_protocol_003_PsddFKi3__Commitment_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Commitment_storage *)
module Commitment_storage = Tezos_raw_protocol_003_PsddFKi3__Commitment_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Constants_repr *)
module Constants_repr = Tezos_raw_protocol_003_PsddFKi3__Constants_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Constants_services *)
module Constants_services = Tezos_raw_protocol_003_PsddFKi3__Constants_services

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Constants_storage *)
module Constants_storage = Tezos_raw_protocol_003_PsddFKi3__Constants_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Contract_hash *)
module Contract_hash = Tezos_raw_protocol_003_PsddFKi3__Contract_hash

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Contract_repr *)
module Contract_repr = Tezos_raw_protocol_003_PsddFKi3__Contract_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Contract_services *)
module Contract_services = Tezos_raw_protocol_003_PsddFKi3__Contract_services

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Contract_storage *)
module Contract_storage = Tezos_raw_protocol_003_PsddFKi3__Contract_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Cycle_repr *)
module Cycle_repr = Tezos_raw_protocol_003_PsddFKi3__Cycle_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Delegate_services *)
module Delegate_services = Tezos_raw_protocol_003_PsddFKi3__Delegate_services

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Delegate_storage *)
module Delegate_storage = Tezos_raw_protocol_003_PsddFKi3__Delegate_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Fees_storage *)
module Fees_storage = Tezos_raw_protocol_003_PsddFKi3__Fees_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Fitness_repr *)
module Fitness_repr = Tezos_raw_protocol_003_PsddFKi3__Fitness_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Fitness_storage *)
module Fitness_storage = Tezos_raw_protocol_003_PsddFKi3__Fitness_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Gas_limit_repr *)
module Gas_limit_repr = Tezos_raw_protocol_003_PsddFKi3__Gas_limit_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Helpers_services *)
module Helpers_services = Tezos_raw_protocol_003_PsddFKi3__Helpers_services

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Init_storage *)
module Init_storage = Tezos_raw_protocol_003_PsddFKi3__Init_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Level_repr *)
module Level_repr = Tezos_raw_protocol_003_PsddFKi3__Level_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Level_storage *)
module Level_storage = Tezos_raw_protocol_003_PsddFKi3__Level_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Main *)
module Main = Tezos_raw_protocol_003_PsddFKi3__Main

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Manager_repr *)
module Manager_repr = Tezos_raw_protocol_003_PsddFKi3__Manager_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Michelson_v1_gas *)
module Michelson_v1_gas = Tezos_raw_protocol_003_PsddFKi3__Michelson_v1_gas

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Michelson_v1_primitives *)
module Michelson_v1_primitives = Tezos_raw_protocol_003_PsddFKi3__Michelson_v1_primitives

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Misc *)
module Misc = Tezos_raw_protocol_003_PsddFKi3__Misc

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Nonce_hash *)
module Nonce_hash = Tezos_raw_protocol_003_PsddFKi3__Nonce_hash

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Nonce_storage *)
module Nonce_storage = Tezos_raw_protocol_003_PsddFKi3__Nonce_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Operation_repr *)
module Operation_repr = Tezos_raw_protocol_003_PsddFKi3__Operation_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Parameters_repr *)
module Parameters_repr = Tezos_raw_protocol_003_PsddFKi3__Parameters_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Period_repr *)
module Period_repr = Tezos_raw_protocol_003_PsddFKi3__Period_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Qty_repr *)
module Qty_repr = Tezos_raw_protocol_003_PsddFKi3__Qty_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Raw_context *)
module Raw_context = Tezos_raw_protocol_003_PsddFKi3__Raw_context

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Raw_level_repr *)
module Raw_level_repr = Tezos_raw_protocol_003_PsddFKi3__Raw_level_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Roll_repr *)
module Roll_repr = Tezos_raw_protocol_003_PsddFKi3__Roll_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Roll_storage *)
module Roll_storage = Tezos_raw_protocol_003_PsddFKi3__Roll_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Script_expr_hash *)
module Script_expr_hash = Tezos_raw_protocol_003_PsddFKi3__Script_expr_hash

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Script_int_repr *)
module Script_int_repr = Tezos_raw_protocol_003_PsddFKi3__Script_int_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Script_interpreter *)
module Script_interpreter = Tezos_raw_protocol_003_PsddFKi3__Script_interpreter

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Script_ir_annot *)
module Script_ir_annot = Tezos_raw_protocol_003_PsddFKi3__Script_ir_annot

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Script_ir_translator *)
module Script_ir_translator = Tezos_raw_protocol_003_PsddFKi3__Script_ir_translator

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Script_repr *)
module Script_repr = Tezos_raw_protocol_003_PsddFKi3__Script_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Script_tc_errors *)
module Script_tc_errors = Tezos_raw_protocol_003_PsddFKi3__Script_tc_errors

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Script_tc_errors_registration *)
module Script_tc_errors_registration = Tezos_raw_protocol_003_PsddFKi3__Script_tc_errors_registration

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Script_timestamp_repr *)
module Script_timestamp_repr = Tezos_raw_protocol_003_PsddFKi3__Script_timestamp_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Script_typed_ir *)
module Script_typed_ir = Tezos_raw_protocol_003_PsddFKi3__Script_typed_ir

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Seed_repr *)
module Seed_repr = Tezos_raw_protocol_003_PsddFKi3__Seed_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Seed_storage *)
module Seed_storage = Tezos_raw_protocol_003_PsddFKi3__Seed_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Services_registration *)
module Services_registration = Tezos_raw_protocol_003_PsddFKi3__Services_registration

(** @canonical Tezos_raw_protocol_003_PsddFKi3.State_hash *)
module State_hash = Tezos_raw_protocol_003_PsddFKi3__State_hash

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Storage *)
module Storage = Tezos_raw_protocol_003_PsddFKi3__Storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Storage_description *)
module Storage_description = Tezos_raw_protocol_003_PsddFKi3__Storage_description

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Storage_functors *)
module Storage_functors = Tezos_raw_protocol_003_PsddFKi3__Storage_functors

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Storage_sigs *)
module Storage_sigs = Tezos_raw_protocol_003_PsddFKi3__Storage_sigs

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Tez_repr *)
module Tez_repr = Tezos_raw_protocol_003_PsddFKi3__Tez_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Time_repr *)
module Time_repr = Tezos_raw_protocol_003_PsddFKi3__Time_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Vote_repr *)
module Vote_repr = Tezos_raw_protocol_003_PsddFKi3__Vote_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Vote_storage *)
module Vote_storage = Tezos_raw_protocol_003_PsddFKi3__Vote_storage

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Voting_period_repr *)
module Voting_period_repr = Tezos_raw_protocol_003_PsddFKi3__Voting_period_repr

(** @canonical Tezos_raw_protocol_003_PsddFKi3.Voting_services *)
module Voting_services = Tezos_raw_protocol_003_PsddFKi3__Voting_services