ksmt-core/io.ksmt.solver.model/KFuncInterpEntryWithVars/Companion

Companion

object Companion

Functions

Link copied to clipboard
fun <T : KSort> create(args: List<KExpr<*>>, value: KExpr<T>): KFuncInterpEntryWithVars<T>