tree 1ff1410722a9c3c47e9ef1846d00ec3b1d48faa5
parent b4deda0973fb4c70b50d226b1af49f3da59f5265
author jukkag <39187022+jukkag@users.noreply.github.com> 1526063158 +0100
committer Joe Tsai <joetsai@digital-static.net> 1526063158 -0700

ptypes: optimize Is to avoid prefix scan (#601)