[package] name = "hax-lib-macros-types" version.workspace = true authors.workspace = true license.workspace = true homepage.workspace = true edition.workspace = true repository.workspace = true readme = "README.md" description = "Hax-internal types" [dependencies] serde.workspace = true serde_json.workspace = true schemars = {workspace = true, optional = true} quote.workspace = true proc-macro2.workspace = true uuid = { version = "1.5", features = ["v4"] }