The overarching API principle is simply mapping inputs to outputs, wherever feasible.
Similar algorithms in the same class (like hashes or block ciphers) are presented as distinct modules sharing the same signature.
The opam package mirage-crypto-rng provides a cryptographically secure pseudo-random number generator, the package mirage-crypto-pk provides public key cryptography.