FunctionDef MkFunctionDef(object name, object vars, object sort, object expr)
{
var pairs = (Cons <KeyValuePair <FastToken, FastToken> >)vars;
var varsList = new List <KeyValuePair <FastToken, FastSort> >();
var s = FastSort.GetSort((FastToken)sort);
var f = (FastToken)name;
var body = (FExp)expr;
foreach (var kv in pairs)
{
varsList.Add(new KeyValuePair <FastToken, FastSort>(kv.Key, FastSort.GetSort(kv.Value)));
}
return(new FunctionDef(f, varsList, s, body));
}
public void SortTest()
{
int[] arr = new int[] { 4, 6, 9, 3, 0, 1, 2, 5 };
FastSort.Sort(arr);
return;
}