Module Tuto2_plugin
module Counter : sig ... end
module Custom : sig ... end
module G_tuto2 : sig ... end
module Persistent_counter : sig ... end
Tuto2_pluginmodule Counter : sig ... endmodule Custom : sig ... endmodule G_tuto2 : sig ... endmodule Persistent_counter : sig ... end