KvarSolution

liquid_fixpoint::parser

Type Alias KvarSolution 

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