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

theoryObjectifier

expect fun theoryObjectifier(): TheoryObjectifier

Creates the platform-default TheoryObjectifier. Backs TheoryObjectifier.default.

actual fun theoryObjectifier(): TheoryObjectifier

Creates the platform-default TheoryObjectifier. Backs TheoryObjectifier.default.

actual fun theoryObjectifier(): TheoryObjectifier

Creates the platform-default TheoryObjectifier. Backs TheoryObjectifier.default.

Generated by Dokka
© 2026 Copyright