Source file soteria__Data__.ml

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
(* generated by dune *)

(** @canonical Soteria.Data.Abstr *)
module Abstr = Soteria__Data__Abstr

(** @canonical Soteria.Data.Range_tree *)
module Range_tree = Soteria__Data__Range_tree

(** @canonical Soteria.Data.S_bool *)
module S_bool = Soteria__Data__S_bool

(** @canonical Soteria.Data.S_int *)
module S_int = Soteria__Data__S_int

(** @canonical Soteria.Data.S_map *)
module S_map = Soteria__Data__S_map

(** @canonical Soteria.Data.S_map_intf *)
module S_map_intf = Soteria__Data__S_map_intf

(** @canonical Soteria.Data.S_range *)
module S_range = Soteria__Data__S_range

module Soteria__Data__ = struct end
[@@deprecated "this module is shadowed"]