5 ms·As far i know, pompom has a decidable type check though.by caotic123 5y agoAs far i know, pompom has a decidable type check though.