KvarSolution

Type Alias KvarSolution 

Source
type KvarSolution<T> = (Vec<Sort<T>>, Expr<T>);