serialize-theory/it.unibo.tuprolog.serialize/theoryDeobjectifier

theoryDeobjectifier

expect fun theoryDeobjectifier(): TheoryDeobjectifier

Creates the platform-default TheoryDeobjectifier. Backs TheoryDeobjectifier.default.

actual fun theoryDeobjectifier(): TheoryDeobjectifier

Creates the platform-default TheoryDeobjectifier. Backs TheoryDeobjectifier.default.

actual fun theoryDeobjectifier(): TheoryDeobjectifier

Creates the platform-default TheoryDeobjectifier. Backs TheoryDeobjectifier.default.

Generated by Dokka
© 2026 Copyright