Type Alias PointKindVar

pub type PointKindVar = PointKindDef<PointVar>;

Aliased Type

pub struct PointKindVar {
    pub point: PointDef<RouteSegVar, PointSegVar>,
    pub kind: Kind,
}

Fields

point: PointDef<RouteSegVar, PointSegVar>

kind: Kind

Trait Implementations

impl ToResolved<PointKindDef<PointDef<RouteSeg, PointSeg>>> for PointKindVar

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

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

impl ToResolved<PointKindDef<PointDef<RouteSeg, PointSegCtx>>> for PointKindVar

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

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