Mentions légales du service

Skip to content
  • Andrei Paskevich's avatar
    Eval_match: preserve quantifiers after passing to terms · 712dcd37
    Andrei Paskevich authored
    eval_match should not destruct user-written quantifiers.
    For this purpose it preserves all quantifiers inside annotations.
    For the same purpose it now also preserves all quantifiers appearing
    inside terms in let-bindings (in particular, inside lambdas).