Closed davidchambers closed 5 years ago
These type constructors were removed in #626, but I forgot to remove the associated documentation.
These type constructors were removed in #626, but I forgot to remove the associated documentation.