:- module construct.
:- pragma termination_info(construct:num_functors((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(construct:get_functor((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(construct:get_functor((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(construct:get_functor_ordinal((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(construct:construct((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(construct:construct_tuple((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(construct:null_to_no((builtin:in)) = (builtin:out), finite(1, [yes, no]), cannot_loop).
:- pragma termination_info(construct:null((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(construct:get_functor_2((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(construct:construct_tuple_2((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, cannot_loop).