Closed ehildenb closed 4 years ago
This is to make it easier to change out the underlying representation of Wad/Rad/Ray in the semantics without having to change every call-site. It will also provide stronger information at each call-site about the sorts of all quantities.
This is to make it easier to change out the underlying representation of Wad/Rad/Ray in the semantics without having to change every call-site. It will also provide stronger information at each call-site about the sorts of all quantities.