Source file operator__.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
26
27
28
(* generated by dune *)

(** @canonical Operator.Flags *)
module Flags = Operator__Flags

(** @canonical Operator.Function_symbol *)
module Function_symbol = Operator__Function_symbol

(** @canonical Operator.Operator_alarm *)
module Operator_alarm = Operator__Operator_alarm

(** @canonical Operator.Operator_autolog *)
module Operator_autolog = Operator__Operator_autolog

(** @canonical Operator.Operator_concrete *)
module Operator_concrete = Operator__Operator_concrete

(** @canonical Operator.Operator_conversions *)
module Operator_conversions = Operator__Operator_conversions

(** @canonical Operator.Operator_ids *)
module Operator_ids = Operator__Operator_ids

(** @canonical Operator.Operator_sig *)
module Operator_sig = Operator__Operator_sig

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