Skip to content
Snippets Groups Projects
Commit 0a09910e authored by Niklas Haas's avatar Niklas Haas
Browse files

Hide RHS of TFs with non-exported right hand sides

Not sure what to do about data families yet, since technically it would
not make a lot of sense to display constructors that cannot be used by
the user.
parent 1063ade7
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment