Type Definition skiff::type_inferencer::ast::Constraint[−][src]

pub type Constraint = (Term, Term);