document mutually recursive types
Quoting Frank Pfenning's mail to why3-club
on March 2, 2021:
Is there a way to define mutually recursive types in WhyML? I couldn't find one in the documentation.
Quoting Frank Pfenning's mail to why3-club
on March 2, 2021:
Is there a way to define mutually recursive types in WhyML? I couldn't find one in the documentation.