feat(rengine): export types to OCaml

W95Psp · W95Psp · commit 1762dcdf1c8f · 2025-06-20T08:57:15.000+02:00
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -81,6 +81,7 @@ hax-lib-macros-types = { path = "hax-lib/macros/types", version = "=0.3.1" }
 hax-lib = { path = "hax-lib", version = "=0.3.1" }
 hax-engine-names = { path = "engine/names", version = "=0.3.1" }
 hax-types = { path = "hax-types", version = "=0.3.1" }
+rust-printer = { path = "rust-printer" }
 
 [workspace.metadata.release]
 owners = ["github:cryspen:tools"]
diff --git a/cli/subcommands/build.rs b/cli/subcommands/build.rs
@@ -24,6 +24,7 @@ fn json_schema_static_asset() {
         hax_types::engine_api::protocol::FromEngine,
         hax_types::engine_api::protocol::ToEngine,
         hax_lib_macros_types::AttrPayload,
+        rust_printer::ast::Item,
     ));
     schema.schema.metadata.get_or_insert_default().id = Some(hax_types::HAX_VERSION.into());
     serde_json::to_writer(
