Skip to content

Add more underscores to f_equiv

Michael Sammler requested to merge msammler/f_equiv5 into master

lambda-rust!21 (comment 64914) requires a version of f_equiv with 5 underscores instead of 4. This is the minimal patch to fulfil this usecase, but we could add even more underscores while we are at it.

Edited by Michael Sammler

Merge request reports