Another part of getPortalOrientation in F#.