Core_kernel.Container_intf
This module extends Base.Container.
Base.Container
module Continue_or_stop = Base.Container.Continue_or_stop
module type S1_permissions = sig ... end
module type Container = sig ... end