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

Companion

object Companion

Functions

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