@@ -374,7 +374,8 @@ namespace Tactics
374374 whnf : (term : TT) -> Elab TT
375375 whnf term = prim__Whnf term
376376
377− ||| Check that two terms are convertable in the current context and environment
377+ ||| Check that two terms are convertable in the current context and
378+ ||| in some environment.
378379 |||
379380 ||| @ env a lexical environment to compare the terms in (see `getEnv`)
380381 ||| @ term1 the first term to convert