toTerm

open override fun toTerm(): Atom
Content copied to clipboard

A function to transform the type to corresponding Atom representation