Allow `Pretyping.search_guard` to not check guard

This is a minimal modification to the pretyping interface which allows
for toplevel fixed points to be accepted by the pretyper.

Toplevel co-fixed points are accepted without this. However (co-)fixed
point _nested_ inside a `Definition` or a `Fixpoint` are always checked
for guardedness by the pretyper.

0 files changed, 0 insertions, 0 deletions