minus

open operator fun Term.minus(other: Any): Struct

Builds a -/2 Struct, e.g. "X" - 1.

open operator fun Number.minus(other: Any): Struct

open operator fun Boolean.minus(other: Any): Struct

open operator fun Char.minus(other: Any): Struct

open operator fun String.minus(other: Any): Struct

Same as the Term receiver overload of minus above, for a non-Term left-hand side.