Skip to main content

no_more_hints

Function no_more_hints 

Source
pub fn no_more_hints(term: &Term) -> Vec<String>
Expand description

All hints have been shown already.