Skip to content

Set `Hint Mode` for `TCForall`, `TCOr` and friends

As discussed with @janno @msammler we probably want to flag all parameters as input, with the exception of the second parameter of TCEq and TCForall2.