package octez-protocol-alpha-libs
Octez protocol alpha libraries
Install
Dune Dependency
Authors
Maintainers
Sources
octez-19.1.tar.gz
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053
doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Dummy_zk_rollup/V/E/index.html
Module V.ESource
Source
val op_code_encoding :
safety:Bounded_e.bound_check_safety ->
(op_code Bounded.P.t, op_code Bounded_e.VL.t, L.Num.scalar)
L.Encodings.encodingSource
val amount_encoding :
safety:Bounded_e.bound_check_safety ->
(amount Bounded.P.t, amount Bounded_e.VL.t, L.Num.scalar)
L.Encodings.encodingSource
val fee_encoding :
safety:Bounded_e.bound_check_safety ->
(fee Bounded.P.t, fee Bounded_e.VL.t, L.Num.scalar) L.Encodings.encodingSource
val ticket_encoding :
safety:Bounded_e.bound_check_safety ->
'a Bound.t ->
('a Types.P.ticket, 'a Types.V(L).ticket_u, L.scalar * L.Num.scalar)
L.Encodings.encodingSource
val ticket_balance_encoding :
safety:Bounded_e.bound_check_safety ->
(balance Types.P.ticket,
balance Types.V(L).ticket_u,
L.scalar * L.Num.scalar)
L.Encodings.encodingSource
val header_encoding :
safety:Bounded_e.bound_check_safety ->
(Types.P.header,
Types.V(L).header_u,
L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar)))
L.Encodings.encodingSource
val op_encoding :
(Types.P.op,
Types.V(L).op_u,
(L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar))) * bool)
L.Encodings.encoding