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-jvm Show documentation

JSON and YAML serialization support for logic terms and clauses

The newest version!

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()
    }
}