[docs] ind-ind ind-rec rec-rec in style of fwddecl (#1558)
[docs] ind-ind ind-rec rec-rec in style of fwddecl (#1558)

Co-authored-by: G. Allais <60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org>
mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm