:- module random.
:- pragma termination_info(random:init((builtin:in), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(random:random((builtin:out), (builtin:mdi), (builtin:muo)), infinite, can_loop).
:- pragma termination_info(random:random((builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(random:random((builtin:in), (builtin:in), (builtin:out), (builtin:mdi), (builtin:muo)), infinite, can_loop).
:- pragma termination_info(random:random((builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(random:randmax((builtin:out), (builtin:mdi), (builtin:muo)), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(random:randmax((builtin:out), (builtin:in), (builtin:out)), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(random:randcount((builtin:out), (builtin:mdi), (builtin:muo)), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(random:randcount((builtin:out), (builtin:in), (builtin:out)), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(random:permutation((builtin:in), (builtin:out), (builtin:mdi), (builtin:muo)), infinite, can_loop).
:- pragma termination_info(random:permutation((builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(random:test((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(random:params((builtin:out), (builtin:out), (builtin:out)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(random:perform_sampling((builtin:in), (array:array_di), (builtin:in), (builtin:out), (builtin:mdi), (builtin:muo)), infinite, can_loop).
:- pragma termination_info(random:perform_sampling((builtin:in), (array:array_di), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(random:test_2((builtin:in), (builtin:out), (builtin:mdi), (builtin:muo)), infinite, can_loop).
:- pragma termination_info(random:test_2((builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).