Skip to content
This repository has been archived by the owner on Oct 3, 2024. It is now read-only.

contains returns false result #118

Closed
reteprelief opened this issue Jan 10, 2017 · 0 comments
Closed

contains returns false result #118

reteprelief opened this issue Jan 10, 2017 · 0 comments

Comments

@reteprelief
Copy link
Contributor

If the subset is a typeset by name and the set is the elements of the type set as an unnamed type set, containment is not recognized.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant