Module Core_kernel__.Container_intf
module Continue_or_stop = Base.Container.Continue_or_stopmodule type S1_permissions = sig ... endmodule type Container = sig ... endCore_kernel__.Container_intfmodule Continue_or_stop = Base.Container.Continue_or_stopmodule type S1_permissions = sig ... endmodule type Container = sig ... end