Add record selectors for PackageIndex, and use them when not all fields are destructed.
Signed-off-by:
Edward Z. Yang <ezyang@cs.stanford.edu>
Please register or sign in to comment
Signed-off-by:
Edward Z. Yang <ezyang@cs.stanford.edu>