function

abort

abort[result: AnyType = None]() -> $0

Calls a target dependent trap instruction if available.

Parameters:

• ​result (AnyType): The result type.

Returns:

A null result type.

abort[result: AnyType = None, *, stringable: Stringable](message: stringable) -> $0

Calls a target dependent trap instruction if available.

Parameters:

• ​result (AnyType): The result type.
• ​stringable (Stringable): The Stringable type.

Args:

• ​message (stringable): The message to include when aborting.

Returns:

A null result type.