Source file tuto2_plugin.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
(** @canonical Tuto2_plugin.Counter *)
module Counter = Tuto2_plugin__Counter
(** @canonical Tuto2_plugin.Custom *)
module Custom = Tuto2_plugin__Custom
(** @canonical Tuto2_plugin.G_tuto2 *)
module G_tuto2 = Tuto2_plugin__G_tuto2
(** @canonical Tuto2_plugin.Persistent_counter *)
module Persistent_counter = Tuto2_plugin__Persistent_counter