Source file res__.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
(** @canonical Res.Nopres_impl *)
module Nopres_impl = Res__Nopres_impl

(** @canonical Res.Nopres_intf *)
module Nopres_intf = Res__Nopres_intf

(** @canonical Res.Pres_impl *)
module Pres_impl = Res__Pres_impl

(** @canonical Res.Pres_intf *)
module Pres_intf = Res__Pres_intf

(** @canonical Res.Strat *)
module Strat = Res__Strat

(** @canonical Res.Weak_impl *)
module Weak_impl = Res__Weak_impl

(** @canonical Res.Weak_intf *)
module Weak_intf = Res__Weak_intf