visit

open fun visit(sort: KSort): Any

abstract fun visit(sort: KBoolSort): T

abstract fun visit(sort: KIntSort): T

abstract fun visit(sort: KRealSort): T

abstract fun <S : KBvSort> visit(sort: S): T

abstract fun <S : KFpSort> visit(sort: S): T

abstract fun <D : KSort, R : KSort> visit(sort: KArraySort<D, R>): T

abstract fun <D0 : KSort, D1 : KSort, R : KSort> visit(sort: KArray2Sort<D0, D1, R>): T

abstract fun <D0 : KSort, D1 : KSort, D2 : KSort, R : KSort> visit(sort: KArray3Sort<D0, D1, D2, R>): T

abstract fun <R : KSort> visit(sort: KArrayNSort<R>): T