Определить универсальные типы данных в Z3 C # API

Question

Я хочу объявить общую структуру данных, используя C # API (простую универсальную оболочку), похожую на:

public class Wrapper<T> 
{
   public T Element {get; set;}
}

(declare-datatypes (T) ((Wrapper nil (Element T))))

1. Как я могу это сделать в C #?

2. Как создать экземпляр, предоставив определенный тип, например:

   (instance-const instance (Wrapper Int))

Answer 1

Здесь есть несколько примеров: https://github.com/Z3Prover/z3/blob/master/examples/dotnet/Program.cs#L1565-L1734