pub fn repeated_hints(
hints: &[String],
revealed: usize,
term: &Term,
) -> Vec<String>Expand description
Every hint revealed so far (hint --repeat): the first revealed of hints, then the tips.
Nothing revealed yet has its own message.