···11+(** Internal utilities for crypto-pk. *)
22+33+val until : ('a -> bool) -> (unit -> 'a) -> 'a
44+(** [until p f] repeatedly calls [f ()] until [p] holds on the result. *)
55+66+val guard : bool -> 'a -> (unit, 'a) result
77+(** [guard p err] is [Ok ()] if [p] is true, [Error err] otherwise. *)
+2
test/pk/test_z_extra.mli
···11+(** Big-integer encoding and generation tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/rng/test_fortuna.mli
···11+(** Fortuna CSPRNG tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/rng/test_hmac_drbg.mli
···11+(** HMAC_DRBG deterministic RNG tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/rng/test_rng.mli
···11+(** RNG interface tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/rng/unix/test_crypto_rng_unix.mli
···11+(** Unix getrandom tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/rng/unix/test_getentropy.mli
···11+(** Getentropy tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/rng/unix/test_urandom.mli
···11+(** Urandom tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/test_ccm.mli
···11+(** AES-CCM authenticated encryption tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/test_chacha20.mli
···11+(** ChaCha20-Poly1305 AEAD tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/test_cipher_block.mli
···11+(** Block cipher tests (AES, DES). *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/test_cipher_stream.mli
···11+(** Stream cipher tests (ARC4). *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/test_native.mli
···11+(** Native acceleration and key parameter tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
test/test_poly1305.mli
···11+(** Poly1305 MAC tests. *)
22+13val suite : string * unit Alcotest.test_case list
+2
tests/test_crypto_ec.mli
···11+(** Elliptic curve cryptography tests. *)
22+13val suite : string * unit Alcotest.test_case list
+4
tests/test_entropy.mli
···11+(** Entropy source tests. *)
22+33+val suite : string * unit Alcotest.test_case list
44+(** [suite] is the Alcotest test suite for entropy operations. *)