Fix wrong documentation of `Tadt`

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

Fix wrong documentation of `Tadt` #1075

Closed Halbaroth closed 5 months ago

Halbaroth commented 5 months ago

The documentation of the variant Tadt in the module Ty was wrong. Tadt (a, params) denotes the application of a polymorphic adt to the type parameters params.