Module Core.Globals_needed

module Make (Main : sig ... end) : sig ... end