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

   (declare-const 实例 (Wrapper Int))

Answer 1

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