package octez-protocol-alpha-libs
Octez protocol alpha libraries
Install
Dune Dependency
Authors
Maintainers
Sources
octez-19.0.tar.gz
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13
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