TopLevelFunctions -- returns the functions available at top-level |
Syntax |
TopLevelFunctions(): LIST of FUNCTION |
Description |
Example |
/**/ indent(TopLevelFunctions()); [ record[IsExported := false, name := "$ApproxSolve.ApplyShapeLemma"], record[IsExported := true, name := "$ApproxSolve.ApproxSolve"], ... record[IsExported := false, name := "zero"] ] |