tree d30c6242dc8de0a86c3d7eeb5c3bdd7550656083
parent 7ca39680d7faab00c8b5bd67b06ed4fe97a8d25d
author Marcel van Lohuizen <mpvl@golang.org> 1616999799 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1617013859 +0000

internal/core/adt: update comments for Subsume

Change-Id: I8fa94733e8f35234b6a7405e17f9fe9a21f4bc53
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9184
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>