Term Implicit Conversion Operators
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Defines an implicit conversion from a type to a term.
This member is overloaded. For complete information about this member, including syntax, usage, and examples, click a name in the overload list.
Overload List
| Name | Description | |
|---|---|---|
.gif "Public operator") .gif "Static member") |
Implicit(Boolean to Term) | Converts a Boolean to a term. |
|
Implicit(Double to Term) | Converts a Double to a term. |
|
Implicit(String to Term) | Converts a String to a term. |
|
Implicit(Rational to Term) | Converts a rational number to a term. |
Top