This repository has been archived by the owner on Nov 18, 2021. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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>
- Loading branch information