package octez-protocol-alpha-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Bounded_e : sig ... end

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.encoding

val encoding_to_scalar : 'a Data_encoding.Encoding.t -> 'b -> Bls12_381.Fr.t

val encoding_of_scalar : 'a Data_encoding.Encoding.t -> Bls12_381.Fr.t -> 'b

val tezos_pkh_encoding : 
  (Types.P.tezos_pkh, L.scalar L.repr, L.scalar) L.Encodings.encoding

val amount_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (amount Bounded.P.t, amount Bounded_e.VL.t, L.Num.scalar)
    L.Encodings.encoding

val fee_encoding : 
  safety:Bounded_e.bound_check_safety ->
  (fee Bounded.P.t, fee Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding

val ticket_encoding : 
  safety:Bounded_e.bound_check_safety ->
  'a Bound.t ->
  ('a0 Types.P.ticket, 'a1 Types.V(L).ticket_u, L.scalar * L.Num.scalar)
    L.Encodings.encoding

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.encoding

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.encoding

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