Skip to main content

Exit_Code.to_number

to_number

Group: Conversions

Documentation

Convert exit code to a number.

Examples

Convert a success code to a corresponding number.

      import Standard.Base.System.Process.Exit_Code.Exit_Code

example_to_number = Exit_Code.Success.to_number