package tezos-sapling
Legend:
Library
Module
Module type
Parameter
Class
Class type
module CI = Cstubs_internals
val _1_librustzcash_init_zksnark_params : bytes CI.ocaml -> Unsigned.size_t -> string CI.ocaml -> bytes CI.ocaml -> Unsigned.size_t -> string CI.ocaml -> (_, _) CI.fatptr -> Unsigned.size_t -> string CI.ocaml -> unit
val _2_librustzcash_nsk_to_nk : bytes CI.ocaml -> bytes CI.ocaml -> unit
val _3_librustzcash_ask_to_ak : bytes CI.ocaml -> bytes CI.ocaml -> unit
val _4_librustzcash_crh_ivk : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val _5_librustzcash_check_diversifier : bytes CI.ocaml -> bool
val _6_librustzcash_ivk_to_pkd : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _7_librustzcash_sapling_generate_r : bytes CI.ocaml -> unit
val _8_librustzcash_sapling_compute_nf : bytes CI.ocaml -> bytes CI.ocaml -> Unsigned.uint64 -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> Unsigned.uint64 -> bytes CI.ocaml -> bool
val _9_librustzcash_sapling_compute_cm : bytes CI.ocaml -> bytes CI.ocaml -> Unsigned.uint64 -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _10_librustzcash_sapling_ka_agree : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _11_librustzcash_sapling_ka_derivepublic : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _12_librustzcash_sapling_spend_sig : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _13_librustzcash_merkle_hash : Unsigned.size_t -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val _14_librustzcash_to_scalar : bytes CI.ocaml -> bytes CI.ocaml -> unit
val _15_librustzcash_zip32_xsk_master : bytes CI.ocaml -> Unsigned.size_t -> bytes CI.ocaml -> unit
val _16_librustzcash_zip32_xfvk_address : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _17_librustzcash_zip32_xsk_derive : bytes CI.ocaml -> Unsigned.uint32 -> bytes CI.ocaml -> unit
val _18_librustzcash_zip32_xfvk_derive : bytes CI.ocaml -> Unsigned.uint32 -> bytes CI.ocaml -> bool
val _19_librustzcash_sapling_proving_ctx_init : unit -> CI.voidp
val _20_librustzcash_sapling_proving_ctx_free : (_, _) CI.fatptr -> unit
val _21_librustzcash_sapling_spend_proof : (_, _) CI.fatptr -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> Unsigned.uint64 -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _22_librustzcash_sapling_binding_sig : (_, _) CI.fatptr -> int64 -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _23_librustzcash_sapling_output_proof : (_, _) CI.fatptr -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> Unsigned.uint64 -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _24_librustzcash_sapling_verification_ctx_init : unit -> CI.voidp
val _25_librustzcash_sapling_verification_ctx_free : (_, _) CI.fatptr -> unit
val _26_librustzcash_sapling_check_spend : (_, _) CI.fatptr -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _27_librustzcash_sapling_check_output : (_, _) CI.fatptr -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val _28_librustzcash_sapling_final_check : (_, _) CI.fatptr -> int64 -> bytes CI.ocaml -> bytes CI.ocaml -> bool
type 'a result = 'a
type 'a return = 'a
type 'a fn =
  1. | Returns : 'a CI.typ -> 'a return fn
  2. | Function : 'a CI.typ * 'b fn -> ('a -> 'b) fn
val map_result : ('a -> 'b) -> 'c -> 'd
val returning : 'a CI.typ -> 'a return fn
val (@->) : 'a CI.typ -> 'b fn -> ('a -> 'b) fn
val foreign : 'a 'b. string -> ('a -> 'b) fn -> 'a -> 'b
val foreign_value : 'a. string -> 'a Ctypes.typ -> 'a Ctypes.ptr