Commit 2020-08-16 06:05 8325cf6b

feat(*): reorder implicit arguments in tsum, supr, infi (#3809) This is helpful for a future version of the ge_or_gt linter to recognize binders: the binding type is the (implicit) argument directly before the binding body.