/*
** Automatically generated from `set_ordlist.m'
** by the Mercury compiler,
** version 14.01.1, configured for x86_64-apple-darwin13.3.0.
** Do not edit.
**
** The autoconfigured grade settings governing
** the generation of this C file were
**
** TAG_BITS=2
** UNBOXED_FLOAT=no
** PREGENERATED_DIST=yes
** HIGHLEVEL_CODE=yes
**
** END_OF_C_GRADE_INFO
*/


/* :- module set_ordlist. */
/* :- interface. */

#ifndef MR_HEADER_GUARD_set_ordlist
#define MR_HEADER_GUARD_set_ordlist

#ifdef __cplusplus
extern "C" {
#endif

#include "mercury.h"


#ifndef SET_ORDLIST_DECL_GUARD
#define SET_ORDLIST_DECL_GUARD

#endif




#line 41 "set_ordlist.mih.tmp"
extern const MR_TypeCtorInfo_Struct mercury__set_ordlist__set_ordlist__type_ctor_info_set_ordlist_1;

#line 37 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_108_105_115_116_95_116_111_95_115_101_116_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_2_p_0(
#line 37 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 37 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 37 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 37 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 98 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_109_101_109_98_101_114_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_2_p_0(
#line 98 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 98 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 98 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 98 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4);

#line 108 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_99_111_110_116_97_105_110_115_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_2_p_0(
#line 108 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 108 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 108 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 108 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4);

#line 113 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_105_110_115_101_114_116_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_3_p_0(
#line 113 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 113 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 113 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 113 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 113 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 127 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_105_110_115_101_114_116_95_108_105_115_116_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_3_p_0(
#line 127 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 127 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 127 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 127 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 127 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 136 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_100_101_108_101_116_101_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_3_p_0(
#line 136 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 136 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 136 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 136 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 136 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 144 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_100_101_108_101_116_101_95_108_105_115_116_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_3_p_0(
#line 144 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 144 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 144 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 144 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 144 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 153 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_114_101_109_111_118_101_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_3_p_0(
#line 153 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 153 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 153 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 153 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 153 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 161 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_114_101_109_111_118_101_95_108_105_115_116_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_3_p_0(
#line 161 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 161 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 161 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 161 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 161 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 176 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_117_110_105_111_110_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_3_p_0(
#line 176 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 176 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 176 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 176 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 176 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 183 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_117_110_105_111_110_95_108_105_115_116_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_2_p_0(
#line 183 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 183 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 183 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 183 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 199 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_105_110_116_101_114_115_101_99_116_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_3_p_0(
#line 199 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 199 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 199 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 199 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 199 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 200 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_105_110_116_101_114_115_101_99_116_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_49_95_49_3_p_1(
#line 200 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 200 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 200 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 200 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 200 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5);

#line 216 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_105_110_116_101_114_115_101_99_116_95_108_105_115_116_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_2_p_0(
#line 216 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 216 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 216 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 216 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 223 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_111_114_95_102_117_110_99_95_95_100_105_102_102_101_114_101_110_99_101_95_95_91_84_32_61_32_118_97_114_40_86_95_50_41_93_95_48_95_49_3_p_0(
#line 223 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 223 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 223 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 223 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 223 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 528 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist____Compare____set_ordlist_1_0(
#line 528 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 528 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_2,
#line 528 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 528 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4);

#line 528 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist____Unify____set_ordlist_1_0(
#line 528 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 528 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 528 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 923 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__divide_2_6_p_0(
#line 923 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 923 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 923 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 923 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 923 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5,
#line 923 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 923 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_7);

#line 804 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__difference_2_3_p_0(
#line 804 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 804 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 804 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 804 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 758 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__intersect_2_3_p_1(
#line 758 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 758 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 758 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 758 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4);

#line 757 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__intersect_2_3_p_0(
#line 757 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 757 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 757 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 757 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 740 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__power_union_2_3_p_0(
#line 740 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 740 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 740 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 740 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 694 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__is_member_2_3_p_0(
#line 694 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 694 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_2,
#line 694 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 694 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 670 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__no_dups_2_p_0(
#line 670 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 670 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_2,
#line 670 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 656 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__sort_no_dups_2_p_0(
#line 656 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 656 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 656 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_3);

#line 605 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__insert_new_2_3_p_0(
#line 605 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 605 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 605 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_3,
#line 605 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 584 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__insert_2_3_p_0(
#line 584 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 584 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 584 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_3,
#line 584 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 487 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__divide_by_set_4_p_0(
#line 487 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 487 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 487 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 487 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4,
#line 487 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 480 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__divide_4_p_0(
#line 480 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 480 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 480 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 480 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4,
#line 480 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 473 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__all_true_2_p_0(
#line 473 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 473 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 473 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 466 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl6_14_p_5(
#line 466 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 466 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 466 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 466 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 466 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 466 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 466 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 466 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 466 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 466 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 466 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 466 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 466 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 466 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 466 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 466 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 466 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 466 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 466 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 466 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 466 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 463 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl6_14_p_4(
#line 463 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 463 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 463 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 463 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 463 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 463 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 463 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 463 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 463 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 463 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 463 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 463 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 463 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 463 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 463 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 463 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 463 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 463 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 463 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 463 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 463 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 460 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl6_14_p_3(
#line 460 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 460 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 460 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 460 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 460 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 460 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 460 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 460 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 460 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 460 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 460 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 460 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 460 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 460 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 460 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 460 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 460 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 460 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 460 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 460 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 460 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 457 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl6_14_p_2(
#line 457 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 457 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 457 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 457 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 457 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 457 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 457 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 457 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 457 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 457 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 457 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 457 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 457 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 457 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 457 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 457 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 457 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 457 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 457 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 457 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 457 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 454 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl6_14_p_1(
#line 454 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 454 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 454 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 454 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 454 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 454 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 454 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 454 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 454 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 454 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 454 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 454 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 454 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 454 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 454 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 454 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 454 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 454 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 454 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 454 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 454 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 451 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl6_14_p_0(
#line 451 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 451 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 451 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 451 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 451 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 451 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 451 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 451 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 451 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 451 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 451 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 451 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 451 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 451 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 451 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 451 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 451 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 451 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 451 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 451 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 451 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 445 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold6_14_p_5(
#line 445 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 445 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 445 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 445 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 445 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 445 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 445 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 445 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 445 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 445 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 445 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 445 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 445 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 445 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 445 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 445 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 445 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 445 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 445 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 445 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 445 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 442 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold6_14_p_4(
#line 442 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 442 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 442 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 442 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 442 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 442 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 442 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 442 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 442 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 442 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 442 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 442 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 442 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 442 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 442 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 442 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 442 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 442 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 442 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 442 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 442 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 439 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold6_14_p_3(
#line 439 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 439 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 439 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 439 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 439 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 439 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 439 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 439 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 439 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 439 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 439 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 439 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 439 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 439 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 439 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 439 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 439 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 439 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 439 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 439 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 439 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 436 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold6_14_p_2(
#line 436 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 436 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 436 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 436 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 436 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 436 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 436 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 436 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 436 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 436 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 436 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 436 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 436 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 436 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 436 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 436 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 436 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 436 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 436 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 436 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 436 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 433 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold6_14_p_1(
#line 433 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 433 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 433 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 433 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 433 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 433 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 433 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 433 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 433 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 433 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 433 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 433 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 433 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 433 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 433 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 433 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 433 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 433 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 433 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 433 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 433 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 430 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold6_14_p_0(
#line 430 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 430 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 430 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 430 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 430 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 430 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 430 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 430 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 430 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_9,
#line 430 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 430 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 430 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 430 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 430 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 430 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15,
#line 430 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_16,
#line 430 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_17,
#line 430 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_18,
#line 430 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_19,
#line 430 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_20,
#line 430 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_21);

#line 424 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl5_12_p_5(
#line 424 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 424 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 424 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 424 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 424 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 424 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 424 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 424 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 424 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 424 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 424 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 424 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 424 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 424 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 424 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 424 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 424 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 424 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 421 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl5_12_p_4(
#line 421 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 421 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 421 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 421 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 421 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 421 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 421 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 421 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 421 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 421 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 421 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 421 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 421 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 421 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 421 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 421 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 421 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 421 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 418 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl5_12_p_3(
#line 418 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 418 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 418 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 418 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 418 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 418 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 418 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 418 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 418 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 418 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 418 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 418 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 418 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 418 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 418 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 418 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 418 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 418 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 415 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl5_12_p_2(
#line 415 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 415 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 415 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 415 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 415 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 415 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 415 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 415 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 415 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 415 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 415 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 415 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 415 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 415 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 415 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 415 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 415 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 415 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 412 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl5_12_p_1(
#line 412 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 412 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 412 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 412 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 412 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 412 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 412 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 412 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 412 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 412 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 412 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 412 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 412 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 412 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 412 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 412 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 412 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 412 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 409 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl5_12_p_0(
#line 409 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 409 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 409 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 409 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 409 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 409 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 409 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 409 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 409 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 409 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 409 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 409 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 409 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 409 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 409 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 409 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 409 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 409 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 402 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold5_12_p_5(
#line 402 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 402 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 402 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 402 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 402 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 402 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 402 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 402 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 402 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 402 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 402 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 402 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 402 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 402 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 402 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 402 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 402 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 402 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 399 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold5_12_p_4(
#line 399 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 399 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 399 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 399 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 399 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 399 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 399 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 399 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 399 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 399 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 399 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 399 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 399 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 399 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 399 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 399 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 399 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 399 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 396 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold5_12_p_3(
#line 396 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 396 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 396 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 396 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 396 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 396 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 396 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 396 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 396 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 396 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 396 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 396 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 396 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 396 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 396 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 396 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 396 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 396 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 393 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold5_12_p_2(
#line 393 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 393 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 393 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 393 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 393 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 393 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 393 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 393 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 393 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 393 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 393 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 393 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 393 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 393 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 393 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 393 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 393 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 393 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 390 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold5_12_p_1(
#line 390 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 390 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 390 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 390 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 390 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 390 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 390 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 390 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 390 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 390 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 390 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 390 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 390 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 390 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 390 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 390 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 390 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 390 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 387 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold5_12_p_0(
#line 387 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 387 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 387 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 387 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 387 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 387 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 387 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 387 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_8,
#line 387 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 387 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 387 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 387 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12,
#line 387 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_13,
#line 387 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_14,
#line 387 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_15,
#line 387 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_16,
#line 387 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_17,
#line 387 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_18);

#line 380 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl4_10_p_5(
#line 380 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 380 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 380 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 380 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 380 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 380 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 380 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 380 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 380 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 380 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 380 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 380 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 380 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 380 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 380 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 377 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl4_10_p_4(
#line 377 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 377 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 377 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 377 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 377 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 377 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 377 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 377 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 377 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 377 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 377 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 377 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 377 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 377 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 377 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 374 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl4_10_p_3(
#line 374 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 374 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 374 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 374 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 374 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 374 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 374 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 374 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 374 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 374 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 374 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 374 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 374 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 374 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 374 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 371 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl4_10_p_2(
#line 371 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 371 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 371 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 371 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 371 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 371 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 371 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 371 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 371 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 371 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 371 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 371 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 371 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 371 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 371 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 368 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl4_10_p_1(
#line 368 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 368 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 368 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 368 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 368 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 368 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 368 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 368 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 368 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 368 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 368 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 368 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 368 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 368 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 368 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 365 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl4_10_p_0(
#line 365 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 365 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 365 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 365 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 365 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 365 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 365 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 365 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 365 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 365 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 365 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 365 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 365 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 365 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 365 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 359 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold4_10_p_5(
#line 359 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 359 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 359 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 359 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 359 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 359 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 359 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 359 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 359 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 359 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 359 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 359 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 359 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 359 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 359 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 356 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold4_10_p_4(
#line 356 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 356 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 356 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 356 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 356 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 356 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 356 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 356 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 356 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 356 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 356 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 356 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 356 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 356 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 356 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 353 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold4_10_p_3(
#line 353 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 353 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 353 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 353 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 353 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 353 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 353 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 353 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 353 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 353 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 353 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 353 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 353 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 353 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 353 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 350 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold4_10_p_2(
#line 350 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 350 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 350 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 350 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 350 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 350 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 350 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 350 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 350 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 350 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 350 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 350 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 350 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 350 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 350 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 347 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold4_10_p_1(
#line 347 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 347 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 347 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 347 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 347 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 347 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 347 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 347 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 347 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 347 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 347 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 347 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 347 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 347 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 347 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 344 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold4_10_p_0(
#line 344 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 344 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 344 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 344 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 344 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 344 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 344 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_7,
#line 344 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 344 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9,
#line 344 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_10,
#line 344 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_11,
#line 344 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_12,
#line 344 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_13,
#line 344 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_14,
#line 344 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_15);

#line 339 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl3_8_p_5(
#line 339 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 339 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 339 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 339 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 339 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 339 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 339 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 339 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 339 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 339 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 339 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 339 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 337 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl3_8_p_4(
#line 337 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 337 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 337 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 337 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 337 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 337 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 337 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 337 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 337 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 337 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 337 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 337 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 335 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl3_8_p_3(
#line 335 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 335 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 335 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 335 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 335 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 335 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 335 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 335 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 335 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 335 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 335 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 335 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 333 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl3_8_p_2(
#line 333 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 333 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 333 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 333 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 333 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 333 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 333 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 333 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 333 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 333 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 333 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 333 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 331 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl3_8_p_1(
#line 331 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 331 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 331 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 331 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 331 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 331 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 331 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 331 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 331 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 331 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 331 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 331 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 329 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl3_8_p_0(
#line 329 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 329 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 329 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 329 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 329 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 329 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 329 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 329 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 329 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 329 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 329 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 329 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 324 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold3_8_p_5(
#line 324 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 324 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 324 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 324 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 324 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 324 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 324 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 324 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 324 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 324 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 324 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 324 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 322 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold3_8_p_4(
#line 322 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 322 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 322 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 322 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 322 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 322 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 322 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 322 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 322 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 322 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 322 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 322 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 320 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold3_8_p_3(
#line 320 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 320 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 320 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 320 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 320 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 320 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 320 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 320 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 320 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 320 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 320 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 320 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 318 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold3_8_p_2(
#line 318 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 318 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 318 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 318 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 318 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 318 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 318 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 318 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 318 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 318 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 318 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 318 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 316 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold3_8_p_1(
#line 316 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 316 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 316 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 316 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 316 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 316 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 316 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 316 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 316 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 316 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 316 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 316 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 314 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold3_8_p_0(
#line 314 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 314 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 314 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 314 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 314 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 314 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_6,
#line 314 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_7,
#line 314 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_8,
#line 314 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_9,
#line 314 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_10,
#line 314 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_11,
#line 314 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_12);

#line 309 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl2_6_p_5(
#line 309 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 309 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 309 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 309 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 309 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 309 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 309 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 309 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 309 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 307 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl2_6_p_4(
#line 307 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 307 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 307 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 307 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 307 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 307 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 307 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 307 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 307 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 305 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl2_6_p_3(
#line 305 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 305 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 305 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 305 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 305 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 305 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 305 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 305 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 305 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 303 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl2_6_p_2(
#line 303 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 303 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 303 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 303 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 303 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 303 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 303 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 303 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 303 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 301 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl2_6_p_1(
#line 301 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 301 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 301 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 301 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 301 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 301 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 301 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 301 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 301 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 299 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl2_6_p_0(
#line 299 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 299 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 299 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 299 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 299 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 299 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 299 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 299 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 299 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 294 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold2_6_p_5(
#line 294 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 294 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 294 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 294 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 294 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 294 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 294 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 294 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 294 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 292 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold2_6_p_4(
#line 292 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 292 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 292 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 292 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 292 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 292 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 292 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 292 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 292 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 290 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold2_6_p_3(
#line 290 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 290 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 290 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 290 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 290 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 290 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 290 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 290 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 290 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 288 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold2_6_p_2(
#line 288 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 288 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 288 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 288 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 288 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 288 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 288 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 288 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 288 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 286 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold2_6_p_1(
#line 286 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 286 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 286 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 286 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 286 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 286 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 286 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 286 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 286 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 284 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold2_6_p_0(
#line 284 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 284 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 284 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 284 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 284 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_5,
#line 284 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_6,
#line 284 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_7,
#line 284 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_8,
#line 284 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_9);

#line 279 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl_4_p_5(
#line 279 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 279 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 279 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 279 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 279 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 279 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 277 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl_4_p_4(
#line 277 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 277 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 277 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 277 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 277 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 277 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 275 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__foldl_4_p_3(
#line 275 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 275 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 275 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 275 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 275 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 275 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 274 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl_4_p_2(
#line 274 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 274 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 274 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 274 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 274 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 274 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 273 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl_4_p_1(
#line 273 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 273 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 273 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 273 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 273 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 273 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 272 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__foldl_4_p_0(
#line 272 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 272 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 272 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 272 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 272 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 272 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 270 "set_ordlist.m"
MR_Box MR_CALL 
mercury__set_ordlist__foldl_3_f_0(
#line 270 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 270 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 270 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 270 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 270 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5);

#line 267 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold_4_p_5(
#line 267 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 267 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 267 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 267 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 267 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 267 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 265 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold_4_p_4(
#line 265 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 265 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 265 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 265 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 265 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 265 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 263 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__fold_4_p_3(
#line 263 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 263 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 263 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 263 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 263 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 263 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 262 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold_4_p_2(
#line 262 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 262 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 262 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 262 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 262 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 262 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 261 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold_4_p_1(
#line 261 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 261 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 261 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 261 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 261 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 261 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 260 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__fold_4_p_0(
#line 260 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 260 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 260 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 260 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 260 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5,
#line 260 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_6);

#line 258 "set_ordlist.m"
MR_Box MR_CALL 
mercury__set_ordlist__fold_3_f_0(
#line 258 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 258 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 258 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 258 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 258 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_5);

#line 256 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__filter_map_3_p_0(
#line 256 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 256 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 256 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 256 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4,
#line 256 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 252 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__filter_map_2_f_0(
#line 252 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 252 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 252 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 252 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4);

#line 248 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__map_2_f_0(
#line 248 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 248 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 248 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 248 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4);

#line 246 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__filter_4_p_0(
#line 246 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 246 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 246 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 246 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4,
#line 246 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_5);

#line 239 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__filter_3_p_0(
#line 239 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 239 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 239 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 239 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 237 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__filter_2_f_0(
#line 237 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 237 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 237 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 232 "set_ordlist.m"
MR_Integer MR_CALL 
mercury__set_ordlist__count_1_f_0(
#line 232 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 232 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 231 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__count_2_p_0(
#line 231 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 231 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 231 "set_ordlist.m"
  MR_Integer * mercury__set_ordlist__param_3);

#line 225 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__difference_2_f_0(
#line 225 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 225 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 225 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 223 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__difference_3_p_0(
#line 223 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 223 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 223 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 223 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 216 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__intersect_list_2_p_0(
#line 216 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 216 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 216 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_3);

#line 215 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__intersect_list_1_f_0(
#line 215 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 215 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 209 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__power_intersect_1_f_0(
#line 209 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 209 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 207 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__power_intersect_2_p_0(
#line 207 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 207 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 207 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_3);

#line 201 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__intersect_2_f_0(
#line 201 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 201 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 201 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 200 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__intersect_3_p_1(
#line 200 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 200 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 200 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 200 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_4);

#line 199 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__intersect_3_p_0(
#line 199 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 199 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 199 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 199 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 192 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__power_union_1_f_0(
#line 192 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 192 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 190 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__power_union_2_p_0(
#line 190 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 190 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 190 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_3);

#line 185 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__union_list_1_f_0(
#line 185 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 185 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 183 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__union_list_2_p_0(
#line 183 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 183 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 183 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_3);

#line 178 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__union_2_f_0(
#line 178 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 178 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 178 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 176 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__union_3_p_0(
#line 176 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 176 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 176 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 176 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 168 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__remove_least_3_p_0(
#line 168 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 168 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_2,
#line 168 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 168 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 161 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__remove_list_3_p_0(
#line 161 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 161 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 161 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 161 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 153 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__remove_3_p_0(
#line 153 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 153 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_2,
#line 153 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 153 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 146 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__delete_list_2_f_0(
#line 146 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 146 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 146 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 144 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__delete_list_3_p_0(
#line 144 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 144 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 144 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 144 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 138 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__delete_2_f_0(
#line 138 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 138 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 138 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_3);

#line 136 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__delete_3_p_0(
#line 136 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 136 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_2,
#line 136 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 136 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 129 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__insert_list_2_f_0(
#line 129 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 129 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 129 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 127 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__insert_list_3_p_0(
#line 127 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 127 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 127 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 127 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 121 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__insert_new_3_p_0(
#line 121 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 121 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_2,
#line 121 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 121 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 115 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__insert_2_f_0(
#line 115 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 115 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 115 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_3);

#line 113 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__insert_3_p_0(
#line 113 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 113 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_2,
#line 113 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 113 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 108 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__contains_2_p_0(
#line 108 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 108 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 108 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_3);

#line 104 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__is_member_3_p_0(
#line 104 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 104 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_2,
#line 104 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 104 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_4);

#line 99 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__member_2_p_1(
#line 99 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 99 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_2,
#line 99 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3,
#line 99 "set_ordlist.m"
  MR_Cont mercury__set_ordlist__param_4,
#line 99 "set_ordlist.m"
  void * mercury__set_ordlist__param_5);

#line 98 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__member_2_p_0(
#line 98 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 98 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_2,
#line 98 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 92 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__superset_2_p_0(
#line 92 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 92 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 92 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 87 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__subset_2_p_0(
#line 87 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 87 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 87 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 82 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__is_non_empty_1_p_0(
#line 82 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 82 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 81 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__non_empty_1_p_0(
#line 81 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 81 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 79 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__is_empty_1_p_0(
#line 79 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 79 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 78 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__empty_1_p_0(
#line 78 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 78 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 74 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__equal_2_p_0(
#line 74 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 74 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 74 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 69 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__is_singleton_2_p_0(
#line 69 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 69 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 69 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_3);

#line 68 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__make_singleton_set_1_f_0(
#line 68 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 68 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_2);

#line 66 "set_ordlist.m"
MR_bool MR_CALL 
mercury__set_ordlist__singleton_set_2_p_1(
#line 66 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 66 "set_ordlist.m"
  MR_Box * mercury__set_ordlist__param_2,
#line 66 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_3);

#line 65 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__singleton_set_2_p_0(
#line 65 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 65 "set_ordlist.m"
  MR_Box mercury__set_ordlist__param_2,
#line 65 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_3);

#line 59 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__to_sorted_list_1_f_0(
#line 59 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 59 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 58 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__to_sorted_list_2_p_0(
#line 58 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 58 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 58 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_3);

#line 53 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__from_sorted_list_1_f_0(
#line 53 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 53 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 49 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__sorted_list_to_set_1_f_0(
#line 49 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 49 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 47 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__sorted_list_to_set_2_p_0(
#line 47 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 47 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 47 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_3);

#line 42 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__from_list_1_f_0(
#line 42 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 42 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 38 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__list_to_set_1_f_0(
#line 38 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 38 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2);

#line 37 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__list_to_set_2_p_0(
#line 37 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 37 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_2,
#line 37 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_3);

#line 32 "set_ordlist.m"
MR_Word MR_CALL 
mercury__set_ordlist__init_0_f_0(
#line 32 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1);

#line 31 "set_ordlist.m"
void MR_CALL 
mercury__set_ordlist__init_1_p_0(
#line 31 "set_ordlist.m"
  MR_Word mercury__set_ordlist__param_1,
#line 31 "set_ordlist.m"
  MR_Word * mercury__set_ordlist__param_2);

void mercury__set_ordlist__init(void);
void mercury__set_ordlist__init_type_tables(void);
void mercury__set_ordlist__init_debugger(void);

#ifdef __cplusplus
}
#endif

#endif /* MR_HEADER_GUARD_set_ordlist */

/* :- end_interface set_ordlist. */
