Normalized Vector (logical refinement type)#7572

connortsui20 wants to merge 1 commit intodevelopvortex-data/vortex:developfrom

ct/normalized-vectorvortex-data/vortex:ct/normalized-vectorCopy head branch name to clipboard