Value Conversion

A type cast converts a value of one type to another.

FOL uses two ways for value conversion:

• coercion for conversions that are known to be completely safe and unambiguous, and
• casting for conversions that one would not want to happen on accident.