-
Andrei Paskevich authored
If we have a top-level total let-function definition and no variants are supplied, then we expect the definition to be terminating with respect to Decl.check_termination.
c4820cae
If we have a top-level total let-function definition and no variants are supplied, then we expect the definition to be terminating with respect to Decl.check_termination.