2 ms·Sure; in the docs I call them "runtime verification of type annotations".by andrewcooke 16y agoSure; in the docs I call them "runtime verification of type annotations".