Searched refs:veclen (Results 1 – 1 of 1) sorted by last modified time
176 function veclen($a){ function 187 return veclen(vecsub($a, $b));