:- module char_inst.

:- interface.

:- pred is_whitespace(character).
:- mode is_whitespace(ground >> bound(' '; '\t'; '\n')) is semidet.

:- implementation.

is_whitespace(' ').
is_whitespace('\t').
is_whitespace('\n').