Type Alias ReadVar

pub type ReadVar = ReadDef<PointVar>;

Aliased Type

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

Fields

point: PointDef<RouteSegVar, PointSegVar>

payload: Substance

Trait Implementations

impl ToResolved<ReadDef<PointDef<RouteSeg, PointSegCtx>>> for ReadVar

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

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