Terminator (B2R2)

Terminator Module

Provides a set of terminating functions, which are used to terminate the program when a non-recoverable error is encountered.

Function or value	Description
`Terminator.fatalExit msg` Full Usage: `Terminator.fatalExit msg` Parameters: msg : `string` Returns: `'a` Type parameters: 'a	Exits the whole program including any child processes with a fatal error message. This function does not raise an exception, but directly exits the program. msg : `string` Returns: `'a`
`Terminator.futureFeature ()` Full Usage: `Terminator.futureFeature ()` Parameters: () : `unit` Returns: `'a` Type parameters: 'a	Terminates the program with a message indicating that the program is not implemented yet and will be implemented in the future. () : `unit` Returns: `'a`
`Terminator.impossible ()` Full Usage: `Terminator.impossible ()` Parameters: () : `unit` Returns: `'a` Type parameters: 'a	Terminates the program with a message indicating this should never happen. This is a bug and should be reported. () : `unit` Returns: `'a`