Trait tract_hir::infer::rules::Proxy [−][src]
pub trait Proxy {
fn get_path(&self) -> &Path;
}Expand description
A proxy for any value.
Required methods
Returns the symbolic path to the value.
Take the inputs[0].shape[1] proxy for instance: it represents the
second dimension of the shape of the first input. Because we encode
the “inputs” vectors as 0, and the shape field as 2, the path
for this proxy will be vec![0, 0, 2, 1].