Skip to main content

QualifiedPathEq

catlog::one::path

Type Alias QualifiedPathEq 

Source 
pub type QualifiedPathEq = PathEq<QualifiedName, QualifiedName>;
Expand description

An equation between paths whose vertices and edges are qualified names.

Aliased Type§

pub struct QualifiedPathEq {
    pub lhs: Path<QualifiedName, QualifiedName>,
    pub rhs: Path<QualifiedName, QualifiedName>,
}

Fields§

§lhs: Path<QualifiedName, QualifiedName>

Left hand side of equation.

§rhs: Path<QualifiedName, QualifiedName>

Right hand side of equation.