Subst ListNode for 'term' type in some places in relation concerned with LUB. Change ListRole to ChildRole in upperBoundType & lowerBoundType.

This commit is contained in:
Grigorii Kirgizov 2019-09-03 12:46:26 +03:00
parent 6255bdb6f5
commit 4938551fcb
1 changed files with 1764 additions and 1763 deletions