1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
(** @canonical Slhdsa.Slhdsa_engine *)
module Slhdsa_engine = Slhdsa__Slhdsa_engine
(** @canonical Slhdsa.Slhdsa_hash *)
module Slhdsa_hash = Slhdsa__Slhdsa_hash
(** @canonical Slhdsa.Slhdsa_sha2_128f *)
module Slhdsa_sha2_128f = Slhdsa__Slhdsa_sha2_128f
(** @canonical Slhdsa.Slhdsa_sha2_128s *)
module Slhdsa_sha2_128s = Slhdsa__Slhdsa_sha2_128s
(** @canonical Slhdsa.Slhdsa_sha2_192f *)
module Slhdsa_sha2_192f = Slhdsa__Slhdsa_sha2_192f
(** @canonical Slhdsa.Slhdsa_sha2_192s *)
module Slhdsa_sha2_192s = Slhdsa__Slhdsa_sha2_192s
(** @canonical Slhdsa.Slhdsa_sha2_256f *)
module Slhdsa_sha2_256f = Slhdsa__Slhdsa_sha2_256f
(** @canonical Slhdsa.Slhdsa_sha2_256s *)
module Slhdsa_sha2_256s = Slhdsa__Slhdsa_sha2_256s
(** @canonical Slhdsa.Slhdsa_shake_128f *)
module Slhdsa_shake_128f = Slhdsa__Slhdsa_shake_128f
(** @canonical Slhdsa.Slhdsa_shake_128s *)
module Slhdsa_shake_128s = Slhdsa__Slhdsa_shake_128s
(** @canonical Slhdsa.Slhdsa_shake_192f *)
module Slhdsa_shake_192f = Slhdsa__Slhdsa_shake_192f
(** @canonical Slhdsa.Slhdsa_shake_192s *)
module Slhdsa_shake_192s = Slhdsa__Slhdsa_shake_192s
(** @canonical Slhdsa.Slhdsa_shake_256f *)
module Slhdsa_shake_256f = Slhdsa__Slhdsa_shake_256f
(** @canonical Slhdsa.Slhdsa_shake_256s *)
module Slhdsa_shake_256s = Slhdsa__Slhdsa_shake_256s