commonMain.it.unibo.tuprolog.serialize.TermDeobjectifier.kt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of serialize-core Show documentation
Show all versions of serialize-core Show documentation
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android
package it.unibo.tuprolog.serialize
import it.unibo.tuprolog.core.Term
import kotlin.js.JsName
import kotlin.jvm.JvmStatic
interface TermDeobjectifier : Deobjectifier {
companion object {
@JsName("default")
@JvmStatic
val default: TermDeobjectifier
get() = termDeobjectifier()
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy