:- module require_lt.
:- interface.

:- pred require_lt(int::in, int::in) is det.

:- implementation.

:- import_module exception.
:- import_module int.

:- pragma inline(require_lt/2).

require_lt(A, B):-
    trace [compile_time(flag("checks"))] require_lt0(A, B).

:- pred require_lt0(int::in, int::in) is det.

require_lt0(A, B):-
    ( if A < B then
	true
    else
	throw("require_lt0")
    ).