Skip to content
Snippets Groups Projects
Commit 51d36ff4 authored by Stephan Seitz's avatar Stephan Seitz
Browse files

Correctly implement {is_positive,is_real,is_integer} for TypedSymbol

parent a9d6eb0a
Branches
No related tags found
No related merge requests found
Pipeline #16900 passed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment