Module Baijiu_sha3.UnsafeSource

Parameters

module P : sig ... end

Signature

Sourcetype ctx = {
  1. q : int64 array;
  2. rsize : int;
  3. mdlen : int;
  4. mutable pt : int;
}
Sourceval dup : ctx -> ctx
Sourceval init : int -> ctx
Sourceval keccakf_rounds : int
Sourceval keccaft_rndc : int64 array
Sourceval keccaft_rotc : int array
Sourceval keccakf_piln : int array
Sourceval sha3_keccakf : int64 array -> unit
Sourceval masks : int64 array
Sourceval feed : 'a. get_uint8:('a -> int -> int) -> ctx -> 'a -> int -> int -> unit
Sourceval unsafe_feed_bytes : ctx -> bytes -> int -> int -> unit
Sourceval unsafe_feed_bigstring : ctx -> Bi.t -> int -> int -> unit
Sourceval unsafe_get : ctx -> bytes