random_oracle index

Library random_oracle

The entry point of this library is the module: Random_oracle.

Library random_oracle.permutation

The entry point of this library is the module: Random_oracle_permutation.