withTopLevel

List containing the top level declarations.

Return

A list containing the top-level declarations.