C# C中的数组数据排序声明API#

假设我有自定义的数据类型（比如Customer），我想定义以下数组数据类型：

客户[]

看看Z3C#API：

var customerArraySort=context.MkArraySort（，）

和

是什么意思

以下内容是否会创建Customer[]数组排序

var customerArraySort=context.MkArraySort（customerSort，context.IntSort）
（免责声明：我没有Z3的经验或定理证明的背景）

Context.MkArraySort
记录于此：

有两个重载的参数名称相同，除了一个接受单个
Sort domain
参数外，另一个接受
Sort[]domain
数组参数

这两种方法都是表示数组排序的
ArraySort
类对象的工厂方法


域
和
范围
是数学术语，分别指函数的输入和输出：

（我承认Z3的文件缺乏，例如，方法总结很短，没有帮助，缺少示例）。
什么？“你没有解释你的目标？”强尼5更新了我的问题。