aboutsummaryrefslogtreecommitdiff
path: root/src/HSVIS/Typecheck
ModeNameSize
-rw-r--r--Solve.hs6052logplain