Camlp4 extension to ocaml for deriving functions from type declarations. includes derivers for pretty-printing, type-safe marshalling with structure-sharing, dynamic typing, equality, and more.