NewAbstractType creates an abstract type declaration which references a proto message name and may also include type parameters.

NewConst creates a constant identifier with a CEL constant literal value.

NewFunction creates a named function declaration with one or more overloads.

NewFunctionType creates a function invocation contract, typically only used by type-checking steps after overload resolution.

NewIdent creates a named identifier declaration with an optional literal value.

NewInstanceOverload creates a instance function overload contract.

NewListType generates a new list with elements of a certain type.

NewMapType generates a new map with typed keys and values.

NewObjectType creates an object type for a qualified type name.

NewOptionalType constructs an abstract type indicating that the parameterized type may be contained within the object.

NewOverload creates a function overload declaration which contains a unique overload id as well as the expected argument and result types.

NewParameterizedInstanceOverload creates a parametric function instance overload type.

NewParameterizedOverload creates a parametric function overload type.

NewPrimitiveType creates a type for a primitive value.

NewTypeParamType creates a type corresponding to a named, contextual parameter.

NewTypeType creates a new type designating a type.

NewVar creates a variable identifier.

NewWellKnownType creates a type corresponding to a protobuf well-known type value.

NewWrapperType creates a wrapped primitive type instance.

Well-known types.

Commonly used types.

Commonly used types.

Commonly used types.

Well-known types.

Dyn is a top-type used to represent any value.

Error type used to communicate issues during type-checking.

Commonly used types.

Commonly used types.

Commonly used types.

Well-known types.

Commonly used types.