Importing this file downstream is "safe", and only transitively introduces the following small Lake dependencies:

public import Lake.Config.Glob
public import Lake.Util.Version

Both of these files do not transitively import any further Lake dependencies. They are necessary for the types Glob and ToolchainVer in WorkspaceSummary field types.

For Lake interaction with WorkspaceSummary, import ImportGraph.WorkspaceModel.Summary.Lake.