That's a typo, being couple of mod params with the same purpose in the two modules, I did some copy&paste from topoh (older module) and topos. I will fix the docs, thanks for pointing it out.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.