:- module lexer.
:- pragma termination_info(lexer:get_token_list((builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(lexer:string_get_token_list((builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(lexer:string_get_token_list((builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(lexer:token_to_string((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(lexer:graphic_token_char((builtin:in)), finite(0, [no]), cannot_loop).