Commit 2023-11-27 11:06 319c50be

chore: ValuedCsp and ValuedCsp.Instance changed from def to abbrev (#8623)