
error(++Message)

   Abort, printing an error message.

Arguments
   Message             A string giving the error message to display

Type
   library(mercury)

Description
	
	Corresponds to Mercury's require:error/1 predicate.
	
	

Fail Conditions
   Never fails.

Resatisfiable
   no


