Export OCaml declarations as InvarGenT definitions.