type ask
type ak
type nsk
type nk
type ovk
type diversifier
type pkd
type nullifier
type commitment
type epk
type symkey
type sighash
type spend_sig
type hash
type cv
type rk
type spend_proof
type binding_sig
type output_proof
type ivk
type ar
type rcm
type esk
type diversifier_index
val compare_diversifier_index : diversifier_index -> diversifier_index -> int
type expanded_spending_key = {
  1. ask : ask;
  2. nsk : nsk;
  3. ovk : ovk;
}
type zip32_expanded_spending_key = {
  1. depth : Bytes.t;
  2. parent_fvk_tag : Bytes.t;
  3. child_index : Bytes.t;
  4. chain_code : Bytes.t;
  5. expsk : expanded_spending_key;
  6. dk : Bytes.t;
}
type full_viewing_key = {
  1. ak : ak;
  2. nk : nk;
  3. ovk : ovk;
}
type zip32_full_viewing_key = {
  1. depth : Bytes.t;
  2. parent_fvk_tag : Bytes.t;
  3. child_index : Bytes.t;
  4. chain_code : Bytes.t;
  5. fvk : full_viewing_key;
  6. dk : Bytes.t;
}
val to_nk : Bytes.t -> nk
val to_ak : Bytes.t -> ak
val to_ask : Bytes.t -> ask
val to_nsk : Bytes.t -> nsk
val to_pkd : Bytes.t -> pkd
val to_ovk : Bytes.t -> ovk
val to_nullifier : Bytes.t -> nullifier
val to_commitment : Bytes.t -> commitment
val to_symkey : Bytes.t -> symkey
val to_epk : Bytes.t -> epk
val to_spend_sig : Bytes.t -> spend_sig
val to_hash : Bytes.t -> hash
val to_cv : Bytes.t -> cv
val to_rk : Bytes.t -> rk
val to_spend_proof : Bytes.t -> spend_proof
val to_output_proof : Bytes.t -> output_proof
val to_sighash : Bytes.t -> sighash
val to_binding_sig : Bytes.t -> binding_sig
val to_diversifier : Bytes.t -> diversifier option
val to_diversifier_index : Bytes.t -> diversifier_index
val to_ar : Bytes.t -> ar
val to_rcm : Bytes.t -> rcm
val to_esk : Bytes.t -> esk
val to_ivk : Bytes.t -> ivk
val to_expanded_spending_key : Bytes.t -> expanded_spending_key
val to_zip32_expanded_spending_key : Bytes.t -> zip32_expanded_spending_key
val to_full_viewing_key : Bytes.t -> full_viewing_key
val to_zip32_full_viewing_key : Bytes.t -> zip32_full_viewing_key
val of_nk : nk -> Bytes.t
val of_ak : ak -> Bytes.t
val of_ask : ask -> Bytes.t
val of_nsk : nsk -> Bytes.t
val of_pkd : pkd -> Bytes.t
val of_ovk : ovk -> Bytes.t
val of_nullifier : nullifier -> Bytes.t
val of_commitment : commitment -> Bytes.t
val of_symkey : symkey -> Bytes.t
val of_epk : epk -> Bytes.t
val of_spend_sig : spend_sig -> Bytes.t
val of_hash : hash -> Bytes.t
val of_cv : cv -> Bytes.t
val of_rk : rk -> Bytes.t
val of_spend_proof : spend_proof -> Bytes.t
val of_output_proof : output_proof -> Bytes.t
val of_sighash : sighash -> Bytes.t
val of_binding_sig : binding_sig -> Bytes.t
val of_diversifier : diversifier -> Bytes.t
val of_diversifier_index : diversifier_index -> Bytes.t
val of_ar : ar -> Bytes.t
val of_rcm : rcm -> Bytes.t
val of_esk : esk -> Bytes.t
val of_ivk : ivk -> Bytes.t
val of_expanded_spending_key : expanded_spending_key -> Bytes.t
val of_zip32_expanded_spending_key : zip32_expanded_spending_key -> Bytes.t
val of_full_viewing_key : full_viewing_key -> Bytes.t
val of_zip32_full_viewing_key : zip32_full_viewing_key -> Bytes.t
val hash_compare : hash -> hash -> int
val hash_of_commitment : commitment -> hash
val commitment_of_hash : hash -> commitment