Module ty 

Checks source expressions using complete recursive array, tuple, and callable shapes.

Use check_expr with a free-identifier resolver for builtin-only expressions, or check_expr_with_type_resolver with a host registry and operation metadata. Ty::Any retains incomplete editor expressions; it never authorizes executable storage.

Enums

Ty

A complete recursive source type, or an unresolved editor value.

Functions

check_expr

Infers expr’s type against resolve_ident (looks up a free identifier’s declared type, or Ty::Any if unknown — e.g. a bare CEL builtin name, or an adam-lang cell with no : type annotation), returning the expression’s inferred type plus every type diagnostic found.

check_expr_with_type_resolver

Infers expr’s type using value/type resolvers and registered operation/record metadata.