Struct CustomRelationCtx 

pub struct CustomRelationCtx<'a> {
    pub ports: &'a [(PortRef, Option<&'static TypeNode>)],
}

Context passed to a Custom relation’s run function. Borrows from the solver; exposes a read-only view of each participating port’s current type resolution. Concrete shape lands when the TypeSolver (T4) materializes.

Fields

ports: &'a [(PortRef, Option<&'static TypeNode>)]

Solver-allocated handles for the ports this relation touches, paired with their current best-known TypeNode (None = still unresolved).

Trait Implementations

impl<'a> Debug for CustomRelationCtx<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.