feat(rengine): derive schemars::JsonSchema for AST

Author: W95Psp

rust-printer/Cargo.toml

@@ -12,3 +12,4 @@ readme.workspace = true
 hax-frontend-exporter = { path = "../frontend/exporter", default-features = false }
 serde = { workspace = true, features = ["derive"] }
 hax-rust-engine-macros = { path = "macros" }
+schemars.workspace = true

rust-printer/macros/src/lib.rs

@@ -52,7 +52,10 @@ pub fn derive_group_for_ast(_attr: TokenStream, item: TokenStream) -> TokenStrea
 /// Derive the necessary [de]serialization related traits for nodes in the AST.
 #[proc_macro_attribute]
 pub fn derive_group_for_ast_serialization(_attr: TokenStream, item: TokenStream) -> TokenStream {
-    add_derive(item, quote! {::serde::Deserialize, ::serde::Serialize})
+    add_derive(
+        item,
+        quote! {::serde::Deserialize, ::serde::Serialize, ::schemars::JsonSchema},
+    )
 }
 
 /// Derive the basic necessary traits for nodes in the AST.