# \#subtyping **URL:** https://discuss.ocaml.org/tag/subtyping/688.md [Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md) --- ## [Modeling Rust trait objects subtyping relation via OCaml polymorphic variants](https://discuss.ocaml.org/t/modeling-rust-trait-objects-subtyping-relation-via-ocaml-polymorphic-variants/15644)
**Author:** [@Konstantin\_Olkhovski](https://discuss.ocaml.org/u/Konstantin_Olkhovski)\ **Replies:** 2\ **Last updated:** [November 21, 2024, 9:42am UTC](https://discuss.ocaml.org/t/modeling-rust-trait-objects-subtyping-relation-via-ocaml-polymorphic-variants/15644 "2024-11-21T09:42:32Z")
I’m trying to model Rust subtyping around trait objects in OCaml. I have made a universal smart pointer for ocaml-rs (repo here if someone is interested), which allows to store Rust objects or Rust trait objects within s…