dyn is camlp4 extension and support library to convert arbitrary ocaml values into dynamic values and back. Types are also reifed into concrete values.