module Continue_or_stop = Base.Container.Continue_or_stopmodule type S1_permissions = sig ... endmodule type Container = sig ... endCore_kernel.Container_intfThis module extends Base.Container.
module Continue_or_stop = Base.Container.Continue_or_stopmodule type S1_permissions = sig ... endmodule type Container = sig ... end