(module Core_lazy.Stable)