package octez-protocol-alpha-libs
Octez protocol alpha libraries
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
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