18 package com.microsoft.z3;
98 elemSort.getNativeObject(), inil, iisnil, icons, iiscons, ihead,
static long getDatatypeSortRecognizer(long a0, long a1, int a2)
static long getDatatypeSortConstructor(long a0, long a1, int a2)
Expr mkApp(FuncDecl f, Expr...args)
static long mkListSort(long a0, long a1, long a2, LongPtr a3, LongPtr a4, LongPtr a5, LongPtr a6, LongPtr a7, LongPtr a8)
static long getDatatypeSortConstructorAccessor(long a0, long a1, int a2, int a3)