:- module time.
:- pragma termination_info(time:clock((builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info((time:clocks_per_sec) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(time:time((builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(time:times((builtin:out), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(time:difftime((builtin:in), (builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(time:localtime((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(time:gmtime((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(time:mktime((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(time:asctime((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(time:ctime((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(time:c_clock((builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(time:c_clocks_per_sec((builtin:out)), infinite, cannot_loop).
:- pragma termination_info(time:c_times((builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(time:c_time((builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(time:c_difftime((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(time:c_localtime((builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(time:c_gmtime((builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(time:int_to_maybe_dst((builtin:in)) = (builtin:out), finite(1, [no, no]), cannot_loop).
:- pragma termination_info(time:c_mktime((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(time:maybe_dst_to_int((builtin:in)) = (builtin:out), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(time:c_asctime((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(time:c_ctime((builtin:in), (builtin:out)), infinite, cannot_loop).