Tidy up recently added semantics and add documentation. (#198)
S
Samuel Williams committed
70d2338aa396e8ee134455d3698afd224e2a3ea1
Parent: 6251ef8
Committed by GitHub <noreply@github.com>
on 12/2/2022, 11:25:40 PM