Module dyn_segment 

Dynamic segment implementation with runtime type checking. Builds checked instructions for the canonical raw interpreter.

Ordinary operations name opaque Rust leaves. Structural operations name a sealed representation witness; prepare checks the whole borrowed frame once.

use cel_runtime::{DynSegment, Nil, Leaf, IntoCStackList};
let mut body = DynSegment::new::<()>();
body.just(42i32);
let mut body = body.prepare::<Nil, Leaf<i32>>().unwrap();
assert_eq!(body.call(&().into_c_stack_list()).unwrap(), 42);

Structs

DynSegment

Owns validated raw instructions and complete canonical stack metadata.

StackInfo

Describes a live canonical stack slot.

Traits

ToTypeIdList

Enumerates opaque leaf types in a concrete preloaded stack list.