public MkDatatypeSorts ( |
||
names | names of datatype sorts | |
c | Microsoft.Z3.Constructor | list of constructors, one list per sort. |
return | Microsoft.Z3.DatatypeSort[] |
public MkDatatypeSorts ( |
||
names | names of datatype sorts | |
c | Microsoft.Z3.Constructor | list of constructors, one list per sort. |
return | Microsoft.Z3.DatatypeSort[] |