stdlib

type Block struct {
	Parameters      []types.Type
	ControlBoundary bool
}

type JSXProvider struct {
	Node                types.Type
	IntrinsicAttributes map[string]types.Type
}

type Kind string

type Package struct {
	Path       string
	ModulePath string
	// Root names the public declaration that owns this package's qualified
	// operations. Its members are backed by Symbols but are not themselves
	// top-level named exports.
	Root string
	// BuiltinRoot marks the narrow compiler-owned case where Root is the
	// canonical imported static API for an existing built-in type.
	BuiltinRoot    bool
	RuntimeAlias   string
	RuntimeExports []RuntimeExport
	Source         string
	Kind           Kind
	Internal       bool
	Targets        map[string]bool
	NativeSyntax   bool
	TypeProvider   string
	JSX            *JSXProvider
	Capability     bool
	Symbols        map[string]Symbol
}

type Parameter struct {
	Name     string
	Type     types.Type
	Optional bool
	Keyword  bool
	Mutable  bool
	Exact    bool
}

type RuntimeExport struct {
	Name string
	Kind string
}

type Symbol struct {
	Name      string
	Intrinsic string
	// StaticOwner names the class or module that owns this compiler-known
	// operation. Unlike Receiver, it represents a static member and does not
	// pass the owner declaration as a runtime call argument.
	StaticOwner string
	// CompilerOnly keeps runner protocol operations out of user imports and
	// language-service completion while allowing compiler-owned source to use
	// the same checked package boundary.
	CompilerOnly bool
	// RuntimeIndependent marks an intrinsic that is fully lowered by every
	// backend even when its public package also provides a source wrapper.
	RuntimeIndependent  bool
	RequiredSymbols     []string
	TypeParameters      []string
	EqualityTypes       []types.Type
	OrderingTypes       []types.Type
	Receiver            types.Type
	ReceiverMutable     bool
	Parameters          []Parameter
	Return              types.Type
	Variadic            bool
	Inference           string
	RuntimeDependencies []types.Type
	Block               *Block
}