1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(** @canonical Hacl_star.AutoConfig2 *)
module AutoConfig2 = Hacl_star__AutoConfig2
(** @canonical Hacl_star.EverCrypt *)
module EverCrypt = Hacl_star__EverCrypt
(** @canonical Hacl_star.Hacl *)
module Hacl = Hacl_star__Hacl
(** @canonical Hacl_star.SharedDefs *)
module SharedDefs = Hacl_star__SharedDefs
(** @canonical Hacl_star.SharedFunctors *)
module SharedFunctors = Hacl_star__SharedFunctors