-
Andrei Paskevich authored
We do not want to generate distinct liftings for every single partial application of a function or predicate symbol. Canonical closures have an easily recognizable shape, thus we can detect them and replace them with a unique constant "f_closure".
60012749