buildSort abstract method

Z3_sort buildSort(
  1. Context c
)

Implementation

Z3_sort buildSort(Context c);