Source file pass__Algo__.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(** @canonical Pass.Algo.Attempt *)
module Attempt = Pass__Algo__Attempt
(** @canonical Pass.Algo.Binding *)
module Binding = Pass__Algo__Binding
(** @canonical Pass.Algo.Error *)
module Error = Pass__Algo__Error
(** @canonical Pass.Algo.Sidecondition *)
module Sidecondition = Pass__Algo__Sidecondition
module Pass__Algo__ = struct end
[@@deprecated "this module is shadowed"]