Module checker 

CEL Type Checker

This module provides type checking for CEL (Common Expression Language) expressions, producing CheckedExpr with type_map and reference_map for downstream processing.

The checker is designed to be independent - it takes raw data (variables, functions, container) rather than a type environment struct. This makes it reusable as a building block for higher-level APIs like cel-core::Env.

Structs

CheckError

A type checking error.

CheckResult

Result of type checking an expression.

Checker

Type checker for CEL expressions.

ReferenceInfo

Reference information for a resolved identifier or function.

Enums

CheckErrorKind

The kind of type checking error.

Statics

STANDARD_LIBRARY

The CEL standard library containing all built-in operators and functions.

Functions

check

Check an expression and return the result.

check_with_proto_types

Check an expression with proto type registry.