Type Alias WriteVar

pub type WriteVar = WriteDef<PointVar>;

Aliased Type

pub struct WriteVar {
    pub point: PointDef<RouteSegVar, PointSegVar>,
    pub payload: Substance,
}

Fields

point: PointDef<RouteSegVar, PointSegVar>

payload: Substance

Trait Implementations

impl ToResolved<WriteDef<PointDef<RouteSeg, PointSegCtx>>> for WriteVar

fn to_resolved(self, env: &Env) -> Result<WriteCtx, SpaceErr>

fn collapse(self) -> Result<R, SpaceErr>