Descrição
Representações de tipos em runtime podem ser armazenadas e usadas dentro de programas OCaml. Isso ajuda desenvolvedores a criar funções genéricas, registries, serializadores ou ferramentas de depuração que precisam de informações de tipo após a compilação.
É uma biblioteca de desenvolvimento. Ela costuma ser usada junto com código gerado que cria os metadados de tipo em runtime.