KvarSolution

Type Alias KvarSolution 

Source
type KvarSolution<T> = (Vec<(<T as Types>::Var, Sort<T>)>, Expr<T>);