doc-gen not showing monad equations

Stream: general

[Yaël Dillies]

doc-gen is being unhelpful on monad instantation (eg docs#multiset.monad) by only showing monad.mk. What's happening? Is it because docs#monad is defined so early that somehow not everything is set properly yet?

[Yaël Dillies]

I remember reading about that somewhere. A bootstrapping problem. Maybe Simon Hudon had written that on some docstring under control.?