ksmt-core/io.ksmt.decl/KFuncDecl2/KFuncDecl2

KFuncDecl2

fun <T : KSort, A0 : KSort, A1 : KSort> KFuncDecl2(ctx: KContext, name: String, resultSort: T, arg0Sort: A0, arg1Sort: A1)