:- module library.
:- pragma termination_info(library.version((builtin.out)), infinite, cannot_loop).
:- pragma termination_info(library.mercury_std_library_module((builtin.in)), finite(0, [no]), cannot_loop).
:- pragma exceptions(predicate, (library.version), 1, 0, will_not_throw).
:- pragma exceptions(predicate, (library.mercury_std_library_module), 1, 0, will_not_throw).
