Creating a match expression in MetaM

Stream: general

[Marcin Kostrzewa]

Hey! Is there a way to construct a match expression programatically in MetaM? Can't really use macro_rules for my use case. I've seen Lean.Meta.Match but it is mostly undocumented and I can't figure out if any of this is usable from outside the module. Are there any examples or documentation for this?