Skip to main content

check_validity

liquid_fixpoint

Function check_validity 

Source 
pub fn check_validity<T: Types>(
    solver: &mut SuggestionSolver<T>,
    constraint: &FlatConstraint<T>,
) -> Result<bool, SuggestionSolverError>