3 ms·Probably both. Dependant type systems are still an area of active research.by Buttons840 9y agoProbably both. Dependant type systems are still an area of active research.