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