package tezos-protocol-009-PsFLoren

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

Authors

Maintainers

Sources

tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/src/tezos-protocol-009-PsFLoren.raw/tezos_raw_protocol_009_PsFLoren.ml.html

Source file tezos_raw_protocol_009_PsFLoren.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
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
(* generated by dune *)

(** @canonical Tezos_raw_protocol_009_PsFLoren.Alpha_context *)
module Alpha_context = Tezos_raw_protocol_009_PsFLoren__Alpha_context

(** @canonical Tezos_raw_protocol_009_PsFLoren.Alpha_services *)
module Alpha_services = Tezos_raw_protocol_009_PsFLoren__Alpha_services

(** @canonical Tezos_raw_protocol_009_PsFLoren.Amendment *)
module Amendment = Tezos_raw_protocol_009_PsFLoren__Amendment

(** @canonical Tezos_raw_protocol_009_PsFLoren.Apply *)
module Apply = Tezos_raw_protocol_009_PsFLoren__Apply

(** @canonical Tezos_raw_protocol_009_PsFLoren.Apply_results *)
module Apply_results = Tezos_raw_protocol_009_PsFLoren__Apply_results

(** @canonical Tezos_raw_protocol_009_PsFLoren.Baking *)
module Baking = Tezos_raw_protocol_009_PsFLoren__Baking

(** @canonical Tezos_raw_protocol_009_PsFLoren.Blinded_public_key_hash *)
module Blinded_public_key_hash = Tezos_raw_protocol_009_PsFLoren__Blinded_public_key_hash

(** @canonical Tezos_raw_protocol_009_PsFLoren.Block_header_repr *)
module Block_header_repr = Tezos_raw_protocol_009_PsFLoren__Block_header_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Bootstrap_storage *)
module Bootstrap_storage = Tezos_raw_protocol_009_PsFLoren__Bootstrap_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Commitment_repr *)
module Commitment_repr = Tezos_raw_protocol_009_PsFLoren__Commitment_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Commitment_storage *)
module Commitment_storage = Tezos_raw_protocol_009_PsFLoren__Commitment_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Constants_repr *)
module Constants_repr = Tezos_raw_protocol_009_PsFLoren__Constants_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Constants_services *)
module Constants_services = Tezos_raw_protocol_009_PsFLoren__Constants_services

(** @canonical Tezos_raw_protocol_009_PsFLoren.Constants_storage *)
module Constants_storage = Tezos_raw_protocol_009_PsFLoren__Constants_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Contract_hash *)
module Contract_hash = Tezos_raw_protocol_009_PsFLoren__Contract_hash

(** @canonical Tezos_raw_protocol_009_PsFLoren.Contract_repr *)
module Contract_repr = Tezos_raw_protocol_009_PsFLoren__Contract_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Contract_services *)
module Contract_services = Tezos_raw_protocol_009_PsFLoren__Contract_services

(** @canonical Tezos_raw_protocol_009_PsFLoren.Contract_storage *)
module Contract_storage = Tezos_raw_protocol_009_PsFLoren__Contract_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Cycle_repr *)
module Cycle_repr = Tezos_raw_protocol_009_PsFLoren__Cycle_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Delegate_services *)
module Delegate_services = Tezos_raw_protocol_009_PsFLoren__Delegate_services

(** @canonical Tezos_raw_protocol_009_PsFLoren.Delegate_storage *)
module Delegate_storage = Tezos_raw_protocol_009_PsFLoren__Delegate_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Fees_storage *)
module Fees_storage = Tezos_raw_protocol_009_PsFLoren__Fees_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Fitness_repr *)
module Fitness_repr = Tezos_raw_protocol_009_PsFLoren__Fitness_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Fitness_storage *)
module Fitness_storage = Tezos_raw_protocol_009_PsFLoren__Fitness_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Fixed_point_repr *)
module Fixed_point_repr = Tezos_raw_protocol_009_PsFLoren__Fixed_point_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Gas_limit_repr *)
module Gas_limit_repr = Tezos_raw_protocol_009_PsFLoren__Gas_limit_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Helpers_services *)
module Helpers_services = Tezos_raw_protocol_009_PsFLoren__Helpers_services

(** @canonical Tezos_raw_protocol_009_PsFLoren.Init_storage *)
module Init_storage = Tezos_raw_protocol_009_PsFLoren__Init_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Lazy_storage_diff *)
module Lazy_storage_diff = Tezos_raw_protocol_009_PsFLoren__Lazy_storage_diff

(** @canonical Tezos_raw_protocol_009_PsFLoren.Lazy_storage_kind *)
module Lazy_storage_kind = Tezos_raw_protocol_009_PsFLoren__Lazy_storage_kind

(** @canonical Tezos_raw_protocol_009_PsFLoren.Level_repr *)
module Level_repr = Tezos_raw_protocol_009_PsFLoren__Level_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Level_storage *)
module Level_storage = Tezos_raw_protocol_009_PsFLoren__Level_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Main *)
module Main = Tezos_raw_protocol_009_PsFLoren__Main

(** @canonical Tezos_raw_protocol_009_PsFLoren.Manager_repr *)
module Manager_repr = Tezos_raw_protocol_009_PsFLoren__Manager_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Michelson_v1_gas *)
module Michelson_v1_gas = Tezos_raw_protocol_009_PsFLoren__Michelson_v1_gas

(** @canonical Tezos_raw_protocol_009_PsFLoren.Michelson_v1_primitives *)
module Michelson_v1_primitives = Tezos_raw_protocol_009_PsFLoren__Michelson_v1_primitives

(** @canonical Tezos_raw_protocol_009_PsFLoren.Misc *)
module Misc = Tezos_raw_protocol_009_PsFLoren__Misc

(** @canonical Tezos_raw_protocol_009_PsFLoren.Nonce_hash *)
module Nonce_hash = Tezos_raw_protocol_009_PsFLoren__Nonce_hash

(** @canonical Tezos_raw_protocol_009_PsFLoren.Nonce_storage *)
module Nonce_storage = Tezos_raw_protocol_009_PsFLoren__Nonce_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Operation_repr *)
module Operation_repr = Tezos_raw_protocol_009_PsFLoren__Operation_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Parameters_repr *)
module Parameters_repr = Tezos_raw_protocol_009_PsFLoren__Parameters_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Period_repr *)
module Period_repr = Tezos_raw_protocol_009_PsFLoren__Period_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Raw_context *)
module Raw_context = Tezos_raw_protocol_009_PsFLoren__Raw_context

(** @canonical Tezos_raw_protocol_009_PsFLoren.Raw_context_intf *)
module Raw_context_intf = Tezos_raw_protocol_009_PsFLoren__Raw_context_intf

(** @canonical Tezos_raw_protocol_009_PsFLoren.Raw_level_repr *)
module Raw_level_repr = Tezos_raw_protocol_009_PsFLoren__Raw_level_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Receipt_repr *)
module Receipt_repr = Tezos_raw_protocol_009_PsFLoren__Receipt_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Roll_repr *)
module Roll_repr = Tezos_raw_protocol_009_PsFLoren__Roll_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Roll_storage *)
module Roll_storage = Tezos_raw_protocol_009_PsFLoren__Roll_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Sapling_repr *)
module Sapling_repr = Tezos_raw_protocol_009_PsFLoren__Sapling_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Sapling_services *)
module Sapling_services = Tezos_raw_protocol_009_PsFLoren__Sapling_services

(** @canonical Tezos_raw_protocol_009_PsFLoren.Sapling_storage *)
module Sapling_storage = Tezos_raw_protocol_009_PsFLoren__Sapling_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Sapling_validator *)
module Sapling_validator = Tezos_raw_protocol_009_PsFLoren__Sapling_validator

(** @canonical Tezos_raw_protocol_009_PsFLoren.Saturation_repr *)
module Saturation_repr = Tezos_raw_protocol_009_PsFLoren__Saturation_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Script_expr_hash *)
module Script_expr_hash = Tezos_raw_protocol_009_PsFLoren__Script_expr_hash

(** @canonical Tezos_raw_protocol_009_PsFLoren.Script_int_repr *)
module Script_int_repr = Tezos_raw_protocol_009_PsFLoren__Script_int_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Script_interpreter *)
module Script_interpreter = Tezos_raw_protocol_009_PsFLoren__Script_interpreter

(** @canonical Tezos_raw_protocol_009_PsFLoren.Script_ir_annot *)
module Script_ir_annot = Tezos_raw_protocol_009_PsFLoren__Script_ir_annot

(** @canonical Tezos_raw_protocol_009_PsFLoren.Script_ir_translator *)
module Script_ir_translator = Tezos_raw_protocol_009_PsFLoren__Script_ir_translator

(** @canonical Tezos_raw_protocol_009_PsFLoren.Script_repr *)
module Script_repr = Tezos_raw_protocol_009_PsFLoren__Script_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Script_tc_errors *)
module Script_tc_errors = Tezos_raw_protocol_009_PsFLoren__Script_tc_errors

(** @canonical Tezos_raw_protocol_009_PsFLoren.Script_tc_errors_registration *)
module Script_tc_errors_registration = Tezos_raw_protocol_009_PsFLoren__Script_tc_errors_registration

(** @canonical Tezos_raw_protocol_009_PsFLoren.Script_timestamp_repr *)
module Script_timestamp_repr = Tezos_raw_protocol_009_PsFLoren__Script_timestamp_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Script_typed_ir *)
module Script_typed_ir = Tezos_raw_protocol_009_PsFLoren__Script_typed_ir

(** @canonical Tezos_raw_protocol_009_PsFLoren.Seed_repr *)
module Seed_repr = Tezos_raw_protocol_009_PsFLoren__Seed_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Seed_storage *)
module Seed_storage = Tezos_raw_protocol_009_PsFLoren__Seed_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Services_registration *)
module Services_registration = Tezos_raw_protocol_009_PsFLoren__Services_registration

(** @canonical Tezos_raw_protocol_009_PsFLoren.State_hash *)
module State_hash = Tezos_raw_protocol_009_PsFLoren__State_hash

(** @canonical Tezos_raw_protocol_009_PsFLoren.Storage *)
module Storage = Tezos_raw_protocol_009_PsFLoren__Storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Storage_costs *)
module Storage_costs = Tezos_raw_protocol_009_PsFLoren__Storage_costs

(** @canonical Tezos_raw_protocol_009_PsFLoren.Storage_description *)
module Storage_description = Tezos_raw_protocol_009_PsFLoren__Storage_description

(** @canonical Tezos_raw_protocol_009_PsFLoren.Storage_functors *)
module Storage_functors = Tezos_raw_protocol_009_PsFLoren__Storage_functors

(** @canonical Tezos_raw_protocol_009_PsFLoren.Storage_sigs *)
module Storage_sigs = Tezos_raw_protocol_009_PsFLoren__Storage_sigs

(** @canonical Tezos_raw_protocol_009_PsFLoren.Tez_repr *)
module Tez_repr = Tezos_raw_protocol_009_PsFLoren__Tez_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Time_repr *)
module Time_repr = Tezos_raw_protocol_009_PsFLoren__Time_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Vote_repr *)
module Vote_repr = Tezos_raw_protocol_009_PsFLoren__Vote_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Vote_storage *)
module Vote_storage = Tezos_raw_protocol_009_PsFLoren__Vote_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Voting_period_repr *)
module Voting_period_repr = Tezos_raw_protocol_009_PsFLoren__Voting_period_repr

(** @canonical Tezos_raw_protocol_009_PsFLoren.Voting_period_storage *)
module Voting_period_storage = Tezos_raw_protocol_009_PsFLoren__Voting_period_storage

(** @canonical Tezos_raw_protocol_009_PsFLoren.Voting_services *)
module Voting_services = Tezos_raw_protocol_009_PsFLoren__Voting_services
OCaml

Innovation. Community. Security.