solve/it.unibo.tuprolog.solve.exception.error/PermissionError/Permission/TEXT_STREAM

TEXT_STREAM

Properties

expect val name: String

expect val ordinal: Int

val permission: String

Functions

open override fun toString(): String

open override fun toTerm(): Atom

A function to transform the type to corresponding Atom representation