3 ms·their python type checker, pyre, is also written in ocamlby zem 5y agotheir python type checker, pyre, is also written in ocaml