TypedExpr

std::meta::typed_expr contains methods on the built-in TypedExpr type for resolved and type-checked expressions.

Methods

get_type

#include_code as_function_definition noir_stdlib/src/meta/typed_expr.nr rust

If this expression refers to a function definitions, returns it. Otherwise returns Option::none().

get_type

#include_code get_type noir_stdlib/src/meta/typed_expr.nr rust

Returns the type of the expression, or Option::none() if there were errors when the expression was previously resolved.