KFuncDecl4

fun <T : KSort, A0 : KSort, A1 : KSort, A2 : KSort, A3 : KSort> KFuncDecl4(ctx: KContext, name: String, resultSort: T, arg0Sort: A0, arg1Sort: A1, arg2Sort: A2, arg3Sort: A3)