check
check(
parsed,source,env):CheckResult
check performs type checking and returns a checked AST plus diagnostics.
Diagnostics accompany the AST rather than being thrown, matching the parser and the environment frontend: a type error in a user-supplied expression is an expected result.
Parameters
Section titled “Parameters”parsed
Section titled “parsed”AST
source
Section titled “source”Source