Source file `mldsa__.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(* generated by dune *)

(** @canonical Mldsa.Mldsa44 *)
module Mldsa44 = Mldsa__Mldsa44

(** @canonical Mldsa.Mldsa65 *)
module Mldsa65 = Mldsa__Mldsa65

(** @canonical Mldsa.Mldsa87 *)
module Mldsa87 = Mldsa__Mldsa87

(** @canonical Mldsa.Mldsa_engine *)
module Mldsa_engine = Mldsa__Mldsa_engine

(** @canonical Mldsa.Mldsa_keccak *)
module Mldsa_keccak = Mldsa__Mldsa_keccak