在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. 如何进行实例化以提供特定的类型，例如：

   （声明常量实例（包装器Int））

Answer 1

这里有一些示例：https://github.com/Z3Prover/z3/blob/master/examples/dotnet/Program.cs#L1565-L1734