public MkArraySort ( Microsoft.Z3.Sort domain, Microsoft.Z3.Sort range ) : |
||
domain | Microsoft.Z3.Sort | |
range | Microsoft.Z3.Sort | |
return |
public MkArraySort ( Microsoft.Z3.Sort domain, Microsoft.Z3.Sort range ) : |
||
domain | Microsoft.Z3.Sort | |
range | Microsoft.Z3.Sort | |
return |