TypesSet should support ReferenceTypes

Issue #73 wontfix
Mario Trageser created an issue

No description provided.

Comments (3)

  1. Michael Eichberg repo owner

    TypesSet is (now) generally used in cases where no ReferenceTypes can occur. If such a data-structure is getting useful again, we should create a new issue which clearly outlines the use case(s).

  2. Log in to comment