# Using latest TermInterface for custom types in MetaTheory

**URL:** <https://discourse.julialang.org/t/using-latest-terminterface-for-custom-types-in-metatheory/116885>\
**Category:** Modelling & Simulations\
**Tags:** metatheory, terminterface\
**Created:** [July 10, 2024, 9:45pm UTC](https://discourse.julialang.org/t/using-latest-terminterface-for-custom-types-in-metatheory/116885 "2024-07-10T21:45:38Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![wgm](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/wgm/32/114_2.png) [@wgm](https://discourse.julialang.org/u/wgm)\
**Post date:** [July 10, 2024, 9:45pm UTC](https://discourse.julialang.org/t/using-latest-terminterface-for-custom-types-in-metatheory/116885/1 "2024-07-10T21:45:38Z")

</div>

Is there an example of using TermInterface v2.0 with the ale/3.0 branch of MetaTheory for working with custom types? I’m looking for something like [Interfacing with Metatheory.jl · Metatheory.jl](https://juliasymbolics.github.io/Metatheory.jl/dev/tutorials/custom_types/) that works with the latest TermInterface. If not, pointers here to get me started would be great. Thanks in advance!

---

<div class="post-metadata">

**Author:** ![nsajko](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/nsajko/32/221187_2.png) [@nsajko](https://discourse.julialang.org/u/nsajko)\
**Post date:** [July 10, 2024, 10:47pm UTC](https://discourse.julialang.org/t/using-latest-terminterface-for-custom-types-in-metatheory/116885/2 "2024-07-10T22:47:33Z")

</div>

Have you taken a look at the TermInterface.jl documentation already?

> **[TermInterface.jl Documentation · TermInterface.jl](https://juliasymbolics.github.io/TermInterface.jl/dev/)**
>
> Documentation for TermInterface.jl.

---

<div class="post-metadata">

**Author:** ![wgm](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/wgm/32/114_2.png) [@wgm](https://discourse.julialang.org/u/wgm)\
**Post date:** [July 10, 2024, 10:50pm UTC](https://discourse.julialang.org/t/using-latest-terminterface-for-custom-types-in-metatheory/116885/3 "2024-07-10T22:50:10Z")

</div>

I have yes, but I’m not sure how to use it to implement custom types in Metatheory.