ksmt-core/io.ksmt.decl/KDecl/KDecl

KDecl

fun <T : KSort> KDecl(ctx: KContext, name: String, sort: T, argSorts: List<KSort>)