[ Control | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

# true

Succeeds always.

## Description

Succeeds. For example, can be used as a default, to join the `then' path in ->/2 to the `if' path, or as a void event handler.

### Modes and Determinism

- true is det

## Examples

    Success:
          (F \== "d.error" ->
               writeln(error, "Incorrect file "),
               writeln( error,F)
          ;
               true
          ),
          (L < 0 ->
               writeln(error, "Error in line number")
          ;
               true
          ).

## See Also

fail / 0, false / 0