Source file `security_slicing__.ml`

1
2
3
4
5
6
7
(* generated by dune *)

(** @canonical Security_slicing.Components *)
module Components = Security_slicing__Components

(** @canonical Security_slicing.Security_slicing_parameters *)
module Security_slicing_parameters = Security_slicing__Security_slicing_parameters