Trait polonius_engine::FactTypes

pub trait FactTypes: Copy + Clone + Debug {
    type Origin: Atom;
    type Loan: Atom;
    type Point: Atom;
    type Variable: Atom;
    type Path: Atom;
}

Associated Types

type Origin: Atom

type Loan: Atom

type Point: Atom

type Variable: Atom

type Path: Atom

Loading content...

Implementors

Loading content...