c_src/standard___collection___abstract_collection._sep.h

   1 /* This C header file is generated by NIT to compile modules and programs that requires ./../lib/standard/collection/abstract_collection. */
   2 #ifndef standard___collection___abstract_collection_sep
   3 #define standard___collection___abstract_collection_sep
   4 #include "standard___kernel._sep.h"
   5 #include <nit_common.h>
   6
   7 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Collection[];
   8
   9 extern const classtable_elt_t VFT_standard___collection___abstract_collection___NaiveCollection[];
  10
  11 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Iterator[];
  12
  13 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Container[];
  14
  15 extern const classtable_elt_t VFT_standard___collection___abstract_collection___ContainerIterator[];
  16
  17 extern const classtable_elt_t VFT_standard___collection___abstract_collection___RemovableCollection[];
  18
  19 extern const classtable_elt_t VFT_standard___collection___abstract_collection___SimpleCollection[];
  20
  21 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Set[];
  22
  23 extern const classtable_elt_t VFT_standard___collection___abstract_collection___MapRead[];
  24
  25 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Map[];
  26
  27 extern const classtable_elt_t VFT_standard___collection___abstract_collection___MapIterator[];
  28
  29 extern const classtable_elt_t VFT_standard___collection___abstract_collection___SequenceRead[];
  30
  31 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Sequence[];
  32
  33 extern const classtable_elt_t VFT_standard___collection___abstract_collection___IndexedIterator[];
  34
  35 extern const classtable_elt_t VFT_standard___collection___abstract_collection___CoupleMap[];
  36
  37 extern const classtable_elt_t VFT_standard___collection___abstract_collection___CoupleMapIterator[];
  38
  39 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Couple[];
  40 extern const char *LOCATE_standard___collection___abstract_collection;
  41 extern const int SFT_standard___collection___abstract_collection[];
  42 #define ID_standard___collection___abstract_collection___Collection (SFT_standard___collection___abstract_collection[0])
  43 #define COLOR_standard___collection___abstract_collection___Collection (SFT_standard___collection___abstract_collection[1])
  44 #define INIT_TABLE_POS_standard___collection___abstract_collection___Collection (SFT_standard___collection___abstract_collection[2] + 0)
  45 #define CALL_standard___collection___abstract_collection___Collection___iterator(recv) ((standard___collection___abstract_collection___Collection___iterator_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 1)))
  46 #define CALL_standard___collection___abstract_collection___Collection___iterate(recv) ((standard___collection___abstract_collection___Collection___iterate_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 2)))
  47 #define CALL_standard___collection___abstract_collection___Collection___is_empty(recv) ((standard___collection___abstract_collection___Collection___is_empty_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 3)))
  48 #define CALL_standard___collection___abstract_collection___Collection___length(recv) ((standard___collection___abstract_collection___Collection___length_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 4)))
  49 #define CALL_standard___collection___abstract_collection___Collection___has(recv) ((standard___collection___abstract_collection___Collection___has_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 5)))
  50 #define CALL_standard___collection___abstract_collection___Collection___has_only(recv) ((standard___collection___abstract_collection___Collection___has_only_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 6)))
  51 #define CALL_standard___collection___abstract_collection___Collection___count(recv) ((standard___collection___abstract_collection___Collection___count_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 7)))
  52 #define CALL_standard___collection___abstract_collection___Collection___first(recv) ((standard___collection___abstract_collection___Collection___first_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 8)))
  53 #define ID_standard___collection___abstract_collection___NaiveCollection (SFT_standard___collection___abstract_collection[3])
  54 #define COLOR_standard___collection___abstract_collection___NaiveCollection (SFT_standard___collection___abstract_collection[4])
  55 #define INIT_TABLE_POS_standard___collection___abstract_collection___NaiveCollection (SFT_standard___collection___abstract_collection[5] + 0)
  56 #define ID_standard___collection___abstract_collection___Iterator (SFT_standard___collection___abstract_collection[6])
  57 #define COLOR_standard___collection___abstract_collection___Iterator (SFT_standard___collection___abstract_collection[7])
  58 #define INIT_TABLE_POS_standard___collection___abstract_collection___Iterator (SFT_standard___collection___abstract_collection[8] + 0)
  59 #define CALL_standard___collection___abstract_collection___Iterator___item(recv) ((standard___collection___abstract_collection___Iterator___item_t)CALL((recv), (SFT_standard___collection___abstract_collection[8] + 1)))
  60 #define CALL_standard___collection___abstract_collection___Iterator___next(recv) ((standard___collection___abstract_collection___Iterator___next_t)CALL((recv), (SFT_standard___collection___abstract_collection[8] + 2)))
  61 #define CALL_standard___collection___abstract_collection___Iterator___is_ok(recv) ((standard___collection___abstract_collection___Iterator___is_ok_t)CALL((recv), (SFT_standard___collection___abstract_collection[8] + 3)))
  62 #define ID_standard___collection___abstract_collection___Container (SFT_standard___collection___abstract_collection[9])
  63 #define COLOR_standard___collection___abstract_collection___Container (SFT_standard___collection___abstract_collection[10])
  64 #define ATTR_standard___collection___abstract_collection___Container____item(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[11] + 0))
  65 #define INIT_TABLE_POS_standard___collection___abstract_collection___Container (SFT_standard___collection___abstract_collection[12] + 0)
  66 #define CALL_standard___collection___abstract_collection___Container___init(recv) ((standard___collection___abstract_collection___Container___init_t)CALL((recv), (SFT_standard___collection___abstract_collection[12] + 1)))
  67 #define CALL_standard___collection___abstract_collection___Container___item(recv) ((standard___collection___abstract_collection___Container___item_t)CALL((recv), (SFT_standard___collection___abstract_collection[12] + 2)))
  68 #define CALL_standard___collection___abstract_collection___Container___item__eq(recv) ((standard___collection___abstract_collection___Container___item__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[12] + 3)))
  69 #define ID_standard___collection___abstract_collection___ContainerIterator (SFT_standard___collection___abstract_collection[13])
  70 #define COLOR_standard___collection___abstract_collection___ContainerIterator (SFT_standard___collection___abstract_collection[14])
  71 #define ATTR_standard___collection___abstract_collection___ContainerIterator____is_ok(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[15] + 0))
  72 #define ATTR_standard___collection___abstract_collection___ContainerIterator____container(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[15] + 1))
  73 #define INIT_TABLE_POS_standard___collection___abstract_collection___ContainerIterator (SFT_standard___collection___abstract_collection[16] + 0)
  74 #define CALL_standard___collection___abstract_collection___ContainerIterator___init(recv) ((standard___collection___abstract_collection___ContainerIterator___init_t)CALL((recv), (SFT_standard___collection___abstract_collection[16] + 1)))
  75 #define ID_standard___collection___abstract_collection___RemovableCollection (SFT_standard___collection___abstract_collection[17])
  76 #define COLOR_standard___collection___abstract_collection___RemovableCollection (SFT_standard___collection___abstract_collection[18])
  77 #define INIT_TABLE_POS_standard___collection___abstract_collection___RemovableCollection (SFT_standard___collection___abstract_collection[19] + 0)
  78 #define CALL_standard___collection___abstract_collection___RemovableCollection___clear(recv) ((standard___collection___abstract_collection___RemovableCollection___clear_t)CALL((recv), (SFT_standard___collection___abstract_collection[19] + 1)))
  79 #define CALL_standard___collection___abstract_collection___RemovableCollection___remove(recv) ((standard___collection___abstract_collection___RemovableCollection___remove_t)CALL((recv), (SFT_standard___collection___abstract_collection[19] + 2)))
  80 #define CALL_standard___collection___abstract_collection___RemovableCollection___remove_all(recv) ((standard___collection___abstract_collection___RemovableCollection___remove_all_t)CALL((recv), (SFT_standard___collection___abstract_collection[19] + 3)))
  81 #define ID_standard___collection___abstract_collection___SimpleCollection (SFT_standard___collection___abstract_collection[20])
  82 #define COLOR_standard___collection___abstract_collection___SimpleCollection (SFT_standard___collection___abstract_collection[21])
  83 #define INIT_TABLE_POS_standard___collection___abstract_collection___SimpleCollection (SFT_standard___collection___abstract_collection[22] + 0)
  84 #define CALL_standard___collection___abstract_collection___SimpleCollection___add(recv) ((standard___collection___abstract_collection___SimpleCollection___add_t)CALL((recv), (SFT_standard___collection___abstract_collection[22] + 1)))
  85 #define CALL_standard___collection___abstract_collection___SimpleCollection___add_all(recv) ((standard___collection___abstract_collection___SimpleCollection___add_all_t)CALL((recv), (SFT_standard___collection___abstract_collection[22] + 2)))
  86 #define ID_standard___collection___abstract_collection___Set (SFT_standard___collection___abstract_collection[23])
  87 #define COLOR_standard___collection___abstract_collection___Set (SFT_standard___collection___abstract_collection[24])
  88 #define INIT_TABLE_POS_standard___collection___abstract_collection___Set (SFT_standard___collection___abstract_collection[25] + 0)
  89 #define ID_standard___collection___abstract_collection___MapRead (SFT_standard___collection___abstract_collection[26])
  90 #define COLOR_standard___collection___abstract_collection___MapRead (SFT_standard___collection___abstract_collection[27])
  91 #define INIT_TABLE_POS_standard___collection___abstract_collection___MapRead (SFT_standard___collection___abstract_collection[28] + 0)
  92 #define CALL_standard___collection___abstract_collection___MapRead_____bra(recv) ((standard___collection___abstract_collection___MapRead_____bra_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 1)))
  93 #define CALL_standard___collection___abstract_collection___MapRead___has_key(recv) ((standard___collection___abstract_collection___MapRead___has_key_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 2)))
  94 #define ID_standard___collection___abstract_collection___Map (SFT_standard___collection___abstract_collection[29])
  95 #define COLOR_standard___collection___abstract_collection___Map (SFT_standard___collection___abstract_collection[30])
  96 #define INIT_TABLE_POS_standard___collection___abstract_collection___Map (SFT_standard___collection___abstract_collection[31] + 0)
  97 #define CALL_standard___collection___abstract_collection___Map_____braeq(recv) ((standard___collection___abstract_collection___Map_____braeq_t)CALL((recv), (SFT_standard___collection___abstract_collection[31] + 1)))
  98 #define CALL_standard___collection___abstract_collection___Map___remove_at(recv) ((standard___collection___abstract_collection___Map___remove_at_t)CALL((recv), (SFT_standard___collection___abstract_collection[31] + 2)))
  99 #define CALL_standard___collection___abstract_collection___Map___recover_with(recv) ((standard___collection___abstract_collection___Map___recover_with_t)CALL((recv), (SFT_standard___collection___abstract_collection[31] + 3)))
 100 #define ID_standard___collection___abstract_collection___MapIterator (SFT_standard___collection___abstract_collection[32])
 101 #define COLOR_standard___collection___abstract_collection___MapIterator (SFT_standard___collection___abstract_collection[33])
 102 #define INIT_TABLE_POS_standard___collection___abstract_collection___MapIterator (SFT_standard___collection___abstract_collection[34] + 0)
 103 #define CALL_standard___collection___abstract_collection___MapIterator___key(recv) ((standard___collection___abstract_collection___MapIterator___key_t)CALL((recv), (SFT_standard___collection___abstract_collection[34] + 1)))
 104 #define ID_standard___collection___abstract_collection___SequenceRead (SFT_standard___collection___abstract_collection[35])
 105 #define COLOR_standard___collection___abstract_collection___SequenceRead (SFT_standard___collection___abstract_collection[36])
 106 #define INIT_TABLE_POS_standard___collection___abstract_collection___SequenceRead (SFT_standard___collection___abstract_collection[37] + 0)
 107 #define CALL_standard___collection___abstract_collection___SequenceRead___last(recv) ((standard___collection___abstract_collection___SequenceRead___last_t)CALL((recv), (SFT_standard___collection___abstract_collection[37] + 1)))
 108 #define CALL_standard___collection___abstract_collection___SequenceRead___index_of(recv) ((standard___collection___abstract_collection___SequenceRead___index_of_t)CALL((recv), (SFT_standard___collection___abstract_collection[37] + 2)))
 109 #define ID_standard___collection___abstract_collection___Sequence (SFT_standard___collection___abstract_collection[38])
 110 #define COLOR_standard___collection___abstract_collection___Sequence (SFT_standard___collection___abstract_collection[39])
 111 #define INIT_TABLE_POS_standard___collection___abstract_collection___Sequence (SFT_standard___collection___abstract_collection[40] + 0)
 112 #define CALL_standard___collection___abstract_collection___Sequence___first__eq(recv) ((standard___collection___abstract_collection___Sequence___first__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[40] + 1)))
 113 #define CALL_standard___collection___abstract_collection___Sequence___last__eq(recv) ((standard___collection___abstract_collection___Sequence___last__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[40] + 2)))
 114 #define CALL_standard___collection___abstract_collection___Sequence___push(recv) ((standard___collection___abstract_collection___Sequence___push_t)CALL((recv), (SFT_standard___collection___abstract_collection[40] + 3)))
 115 #define CALL_standard___collection___abstract_collection___Sequence___append(recv) ((standard___collection___abstract_collection___Sequence___append_t)CALL((recv), (SFT_standard___collection___abstract_collection[40] + 4)))
 116 #define CALL_standard___collection___abstract_collection___Sequence___pop(recv) ((standard___collection___abstract_collection___Sequence___pop_t)CALL((recv), (SFT_standard___collection___abstract_collection[40] + 5)))
 117 #define CALL_standard___collection___abstract_collection___Sequence___unshift(recv) ((standard___collection___abstract_collection___Sequence___unshift_t)CALL((recv), (SFT_standard___collection___abstract_collection[40] + 6)))
 118 #define CALL_standard___collection___abstract_collection___Sequence___shift(recv) ((standard___collection___abstract_collection___Sequence___shift_t)CALL((recv), (SFT_standard___collection___abstract_collection[40] + 7)))
 119 #define ID_standard___collection___abstract_collection___IndexedIterator (SFT_standard___collection___abstract_collection[41])
 120 #define COLOR_standard___collection___abstract_collection___IndexedIterator (SFT_standard___collection___abstract_collection[42])
 121 #define INIT_TABLE_POS_standard___collection___abstract_collection___IndexedIterator (SFT_standard___collection___abstract_collection[43] + 0)
 122 #define CALL_standard___collection___abstract_collection___IndexedIterator___index(recv) ((standard___collection___abstract_collection___IndexedIterator___index_t)CALL((recv), (SFT_standard___collection___abstract_collection[43] + 1)))
 123 #define ID_standard___collection___abstract_collection___CoupleMap (SFT_standard___collection___abstract_collection[44])
 124 #define COLOR_standard___collection___abstract_collection___CoupleMap (SFT_standard___collection___abstract_collection[45])
 125 #define INIT_TABLE_POS_standard___collection___abstract_collection___CoupleMap (SFT_standard___collection___abstract_collection[46] + 0)
 126 #define CALL_standard___collection___abstract_collection___CoupleMap___couple_at(recv) ((standard___collection___abstract_collection___CoupleMap___couple_at_t)CALL((recv), (SFT_standard___collection___abstract_collection[46] + 1)))
 127 #define ID_standard___collection___abstract_collection___CoupleMapIterator (SFT_standard___collection___abstract_collection[47])
 128 #define COLOR_standard___collection___abstract_collection___CoupleMapIterator (SFT_standard___collection___abstract_collection[48])
 129 #define ATTR_standard___collection___abstract_collection___CoupleMapIterator____iter(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[49] + 0))
 130 #define INIT_TABLE_POS_standard___collection___abstract_collection___CoupleMapIterator (SFT_standard___collection___abstract_collection[50] + 0)
 131 #define CALL_standard___collection___abstract_collection___CoupleMapIterator___init(recv) ((standard___collection___abstract_collection___CoupleMapIterator___init_t)CALL((recv), (SFT_standard___collection___abstract_collection[50] + 1)))
 132 #define ID_standard___collection___abstract_collection___Couple (SFT_standard___collection___abstract_collection[51])
 133 #define COLOR_standard___collection___abstract_collection___Couple (SFT_standard___collection___abstract_collection[52])
 134 #define ATTR_standard___collection___abstract_collection___Couple____first(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[53] + 0))
 135 #define ATTR_standard___collection___abstract_collection___Couple____second(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[53] + 1))
 136 #define INIT_TABLE_POS_standard___collection___abstract_collection___Couple (SFT_standard___collection___abstract_collection[54] + 0)
 137 #define CALL_standard___collection___abstract_collection___Couple___first(recv) ((standard___collection___abstract_collection___Couple___first_t)CALL((recv), (SFT_standard___collection___abstract_collection[54] + 1)))
 138 #define CALL_standard___collection___abstract_collection___Couple___first__eq(recv) ((standard___collection___abstract_collection___Couple___first__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[54] + 2)))
 139 #define CALL_standard___collection___abstract_collection___Couple___second(recv) ((standard___collection___abstract_collection___Couple___second_t)CALL((recv), (SFT_standard___collection___abstract_collection[54] + 3)))
 140 #define CALL_standard___collection___abstract_collection___Couple___second__eq(recv) ((standard___collection___abstract_collection___Couple___second__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[54] + 4)))
 141 #define CALL_standard___collection___abstract_collection___Couple___init(recv) ((standard___collection___abstract_collection___Couple___init_t)CALL((recv), (SFT_standard___collection___abstract_collection[54] + 5)))
 142 static const char * const LOCATE_standard___collection___abstract_collection___Collection___iterator = "abstract_collection::Collection::iterator";
 143 val_t standard___collection___abstract_collection___Collection___iterator(val_t p0);
 144 typedef val_t (*standard___collection___abstract_collection___Collection___iterator_t)(val_t p0);
 145 typedef void (*CLOS_standard___collection___abstract_collection___Collection___iterate_0)(struct stack_frame_t *, val_t);
 146 static const char * const LOCATE_standard___collection___abstract_collection___Collection___iterate = "abstract_collection::Collection::iterate";
 147 void standard___collection___abstract_collection___Collection___iterate(val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 148 typedef void (*standard___collection___abstract_collection___Collection___iterate_t)(val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 149 static const char * const LOCATE_standard___collection___abstract_collection___Collection___is_empty = "abstract_collection::Collection::is_empty";
 150 val_t standard___collection___abstract_collection___Collection___is_empty(val_t p0);
 151 typedef val_t (*standard___collection___abstract_collection___Collection___is_empty_t)(val_t p0);
 152 static const char * const LOCATE_standard___collection___abstract_collection___Collection___length = "abstract_collection::Collection::length";
 153 val_t standard___collection___abstract_collection___Collection___length(val_t p0);
 154 typedef val_t (*standard___collection___abstract_collection___Collection___length_t)(val_t p0);
 155 static const char * const LOCATE_standard___collection___abstract_collection___Collection___has = "abstract_collection::Collection::has";
 156 val_t standard___collection___abstract_collection___Collection___has(val_t p0, val_t p1);
 157 typedef val_t (*standard___collection___abstract_collection___Collection___has_t)(val_t p0, val_t p1);
 158 static const char * const LOCATE_standard___collection___abstract_collection___Collection___has_only = "abstract_collection::Collection::has_only";
 159 val_t standard___collection___abstract_collection___Collection___has_only(val_t p0, val_t p1);
 160 typedef val_t (*standard___collection___abstract_collection___Collection___has_only_t)(val_t p0, val_t p1);
 161 static const char * const LOCATE_standard___collection___abstract_collection___Collection___count = "abstract_collection::Collection::count";
 162 val_t standard___collection___abstract_collection___Collection___count(val_t p0, val_t p1);
 163 typedef val_t (*standard___collection___abstract_collection___Collection___count_t)(val_t p0, val_t p1);
 164 static const char * const LOCATE_standard___collection___abstract_collection___Collection___first = "abstract_collection::Collection::first";
 165 val_t standard___collection___abstract_collection___Collection___first(val_t p0);
 166 typedef val_t (*standard___collection___abstract_collection___Collection___first_t)(val_t p0);
 167 static const char * const LOCATE_standard___collection___abstract_collection___NaiveCollection___is_empty = "abstract_collection::NaiveCollection::(abstract_collection::Collection::is_empty)";
 168 val_t standard___collection___abstract_collection___NaiveCollection___is_empty(val_t p0);
 169 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___is_empty_t)(val_t p0);
 170 static const char * const LOCATE_standard___collection___abstract_collection___NaiveCollection___length = "abstract_collection::NaiveCollection::(abstract_collection::Collection::length)";
 171 val_t standard___collection___abstract_collection___NaiveCollection___length(val_t p0);
 172 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___length_t)(val_t p0);
 173   typedef void (*CLOS_OC_standard___collection___abstract_collection___NaiveCollection___length_1_0)(struct stack_frame_t *);
 174   void OC_standard___collection___abstract_collection___NaiveCollection___length_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 175   typedef void (*OC_standard___collection___abstract_collection___NaiveCollection___length_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 176 static const char * const LOCATE_standard___collection___abstract_collection___NaiveCollection___has = "abstract_collection::NaiveCollection::(abstract_collection::Collection::has)";
 177 val_t standard___collection___abstract_collection___NaiveCollection___has(val_t p0, val_t p1);
 178 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___has_t)(val_t p0, val_t p1);
 179   typedef void (*CLOS_OC_standard___collection___abstract_collection___NaiveCollection___has_1_0)(struct stack_frame_t *);
 180   void OC_standard___collection___abstract_collection___NaiveCollection___has_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 181   typedef void (*OC_standard___collection___abstract_collection___NaiveCollection___has_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 182 static const char * const LOCATE_standard___collection___abstract_collection___NaiveCollection___has_only = "abstract_collection::NaiveCollection::(abstract_collection::Collection::has_only)";
 183 val_t standard___collection___abstract_collection___NaiveCollection___has_only(val_t p0, val_t p1);
 184 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___has_only_t)(val_t p0, val_t p1);
 185   typedef void (*CLOS_OC_standard___collection___abstract_collection___NaiveCollection___has_only_1_0)(struct stack_frame_t *);
 186   void OC_standard___collection___abstract_collection___NaiveCollection___has_only_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 187   typedef void (*OC_standard___collection___abstract_collection___NaiveCollection___has_only_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 188 static const char * const LOCATE_standard___collection___abstract_collection___NaiveCollection___count = "abstract_collection::NaiveCollection::(abstract_collection::Collection::count)";
 189 val_t standard___collection___abstract_collection___NaiveCollection___count(val_t p0, val_t p1);
 190 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___count_t)(val_t p0, val_t p1);
 191   typedef void (*CLOS_OC_standard___collection___abstract_collection___NaiveCollection___count_1_0)(struct stack_frame_t *);
 192   void OC_standard___collection___abstract_collection___NaiveCollection___count_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 193   typedef void (*OC_standard___collection___abstract_collection___NaiveCollection___count_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 194 static const char * const LOCATE_standard___collection___abstract_collection___NaiveCollection___first = "abstract_collection::NaiveCollection::(abstract_collection::Collection::first)";
 195 val_t standard___collection___abstract_collection___NaiveCollection___first(val_t p0);
 196 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___first_t)(val_t p0);
 197 static const char * const LOCATE_standard___collection___abstract_collection___Iterator___item = "abstract_collection::Iterator::item";
 198 val_t standard___collection___abstract_collection___Iterator___item(val_t p0);
 199 typedef val_t (*standard___collection___abstract_collection___Iterator___item_t)(val_t p0);
 200 static const char * const LOCATE_standard___collection___abstract_collection___Iterator___next = "abstract_collection::Iterator::next";
 201 void standard___collection___abstract_collection___Iterator___next(val_t p0);
 202 typedef void (*standard___collection___abstract_collection___Iterator___next_t)(val_t p0);
 203 static const char * const LOCATE_standard___collection___abstract_collection___Iterator___is_ok = "abstract_collection::Iterator::is_ok";
 204 val_t standard___collection___abstract_collection___Iterator___is_ok(val_t p0);
 205 typedef val_t (*standard___collection___abstract_collection___Iterator___is_ok_t)(val_t p0);
 206 static const char * const LOCATE_standard___collection___abstract_collection___Container___first = "abstract_collection::Container::(abstract_collection::Collection::first)";
 207 val_t standard___collection___abstract_collection___Container___first(val_t p0);
 208 typedef val_t (*standard___collection___abstract_collection___Container___first_t)(val_t p0);
 209 static const char * const LOCATE_standard___collection___abstract_collection___Container___is_empty = "abstract_collection::Container::(abstract_collection::Collection::is_empty)";
 210 val_t standard___collection___abstract_collection___Container___is_empty(val_t p0);
 211 typedef val_t (*standard___collection___abstract_collection___Container___is_empty_t)(val_t p0);
 212 static const char * const LOCATE_standard___collection___abstract_collection___Container___length = "abstract_collection::Container::(abstract_collection::Collection::length)";
 213 val_t standard___collection___abstract_collection___Container___length(val_t p0);
 214 typedef val_t (*standard___collection___abstract_collection___Container___length_t)(val_t p0);
 215 static const char * const LOCATE_standard___collection___abstract_collection___Container___has = "abstract_collection::Container::(abstract_collection::Collection::has)";
 216 val_t standard___collection___abstract_collection___Container___has(val_t p0, val_t p1);
 217 typedef val_t (*standard___collection___abstract_collection___Container___has_t)(val_t p0, val_t p1);
 218 static const char * const LOCATE_standard___collection___abstract_collection___Container___has_only = "abstract_collection::Container::(abstract_collection::Collection::has_only)";
 219 val_t standard___collection___abstract_collection___Container___has_only(val_t p0, val_t p1);
 220 typedef val_t (*standard___collection___abstract_collection___Container___has_only_t)(val_t p0, val_t p1);
 221 static const char * const LOCATE_standard___collection___abstract_collection___Container___count = "abstract_collection::Container::(abstract_collection::Collection::count)";
 222 val_t standard___collection___abstract_collection___Container___count(val_t p0, val_t p1);
 223 typedef val_t (*standard___collection___abstract_collection___Container___count_t)(val_t p0, val_t p1);
 224 static const char * const LOCATE_standard___collection___abstract_collection___Container___iterator = "abstract_collection::Container::(abstract_collection::Collection::iterator)";
 225 val_t standard___collection___abstract_collection___Container___iterator(val_t p0);
 226 typedef val_t (*standard___collection___abstract_collection___Container___iterator_t)(val_t p0);
 227 static const char * const LOCATE_standard___collection___abstract_collection___Container___init = "abstract_collection::Container::init";
 228 void standard___collection___abstract_collection___Container___init(val_t p0, val_t p1, int* init_table);
 229 typedef void (*standard___collection___abstract_collection___Container___init_t)(val_t p0, val_t p1, int* init_table);
 230 val_t NEW_Container_standard___collection___abstract_collection___Container___init(val_t p0);
 231 static const char * const LOCATE_standard___collection___abstract_collection___Container___item = "abstract_collection::Container::item";
 232 val_t standard___collection___abstract_collection___Container___item(val_t p0);
 233 typedef val_t (*standard___collection___abstract_collection___Container___item_t)(val_t p0);
 234 static const char * const LOCATE_standard___collection___abstract_collection___Container___item__eq = "abstract_collection::Container::item=";
 235 void standard___collection___abstract_collection___Container___item__eq(val_t p0, val_t p1);
 236 typedef void (*standard___collection___abstract_collection___Container___item__eq_t)(val_t p0, val_t p1);
 237 static const char * const LOCATE_standard___collection___abstract_collection___ContainerIterator___item = "abstract_collection::ContainerIterator::(abstract_collection::Iterator::item)";
 238 val_t standard___collection___abstract_collection___ContainerIterator___item(val_t p0);
 239 typedef val_t (*standard___collection___abstract_collection___ContainerIterator___item_t)(val_t p0);
 240 static const char * const LOCATE_standard___collection___abstract_collection___ContainerIterator___next = "abstract_collection::ContainerIterator::(abstract_collection::Iterator::next)";
 241 void standard___collection___abstract_collection___ContainerIterator___next(val_t p0);
 242 typedef void (*standard___collection___abstract_collection___ContainerIterator___next_t)(val_t p0);
 243 static const char * const LOCATE_standard___collection___abstract_collection___ContainerIterator___init = "abstract_collection::ContainerIterator::init";
 244 void standard___collection___abstract_collection___ContainerIterator___init(val_t p0, val_t p1, int* init_table);
 245 typedef void (*standard___collection___abstract_collection___ContainerIterator___init_t)(val_t p0, val_t p1, int* init_table);
 246 val_t NEW_ContainerIterator_standard___collection___abstract_collection___ContainerIterator___init(val_t p0);
 247 static const char * const LOCATE_standard___collection___abstract_collection___ContainerIterator___is_ok = "abstract_collection::ContainerIterator::(abstract_collection::Iterator::is_ok)";
 248 val_t standard___collection___abstract_collection___ContainerIterator___is_ok(val_t p0);
 249 typedef val_t (*standard___collection___abstract_collection___ContainerIterator___is_ok_t)(val_t p0);
 250 static const char * const LOCATE_standard___collection___abstract_collection___RemovableCollection___clear = "abstract_collection::RemovableCollection::clear";
 251 void standard___collection___abstract_collection___RemovableCollection___clear(val_t p0);
 252 typedef void (*standard___collection___abstract_collection___RemovableCollection___clear_t)(val_t p0);
 253 static const char * const LOCATE_standard___collection___abstract_collection___RemovableCollection___remove = "abstract_collection::RemovableCollection::remove";
 254 void standard___collection___abstract_collection___RemovableCollection___remove(val_t p0, val_t p1);
 255 typedef void (*standard___collection___abstract_collection___RemovableCollection___remove_t)(val_t p0, val_t p1);
 256 static const char * const LOCATE_standard___collection___abstract_collection___RemovableCollection___remove_all = "abstract_collection::RemovableCollection::remove_all";
 257 void standard___collection___abstract_collection___RemovableCollection___remove_all(val_t p0, val_t p1);
 258 typedef void (*standard___collection___abstract_collection___RemovableCollection___remove_all_t)(val_t p0, val_t p1);
 259 static const char * const LOCATE_standard___collection___abstract_collection___SimpleCollection___add = "abstract_collection::SimpleCollection::add";
 260 void standard___collection___abstract_collection___SimpleCollection___add(val_t p0, val_t p1);
 261 typedef void (*standard___collection___abstract_collection___SimpleCollection___add_t)(val_t p0, val_t p1);
 262 static const char * const LOCATE_standard___collection___abstract_collection___SimpleCollection___add_all = "abstract_collection::SimpleCollection::add_all";
 263 void standard___collection___abstract_collection___SimpleCollection___add_all(val_t p0, val_t p1);
 264 typedef void (*standard___collection___abstract_collection___SimpleCollection___add_all_t)(val_t p0, val_t p1);
 265   typedef void (*CLOS_OC_standard___collection___abstract_collection___SimpleCollection___add_all_1_0)(struct stack_frame_t *);
 266   void OC_standard___collection___abstract_collection___SimpleCollection___add_all_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 267   typedef void (*OC_standard___collection___abstract_collection___SimpleCollection___add_all_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 268 static const char * const LOCATE_standard___collection___abstract_collection___Set___has_only = "abstract_collection::Set::(abstract_collection::Collection::has_only)";
 269 val_t standard___collection___abstract_collection___Set___has_only(val_t p0, val_t p1);
 270 typedef val_t (*standard___collection___abstract_collection___Set___has_only_t)(val_t p0, val_t p1);
 271 static const char * const LOCATE_standard___collection___abstract_collection___Set___count = "abstract_collection::Set::(abstract_collection::Collection::count)";
 272 val_t standard___collection___abstract_collection___Set___count(val_t p0, val_t p1);
 273 typedef val_t (*standard___collection___abstract_collection___Set___count_t)(val_t p0, val_t p1);
 274 static const char * const LOCATE_standard___collection___abstract_collection___Set___remove_all = "abstract_collection::Set::(abstract_collection::RemovableCollection::remove_all)";
 275 void standard___collection___abstract_collection___Set___remove_all(val_t p0, val_t p1);
 276 typedef void (*standard___collection___abstract_collection___Set___remove_all_t)(val_t p0, val_t p1);
 277 static const char * const LOCATE_standard___collection___abstract_collection___MapRead_____bra = "abstract_collection::MapRead::[]";
 278 val_t standard___collection___abstract_collection___MapRead_____bra(val_t p0, val_t p1);
 279 typedef val_t (*standard___collection___abstract_collection___MapRead_____bra_t)(val_t p0, val_t p1);
 280 static const char * const LOCATE_standard___collection___abstract_collection___MapRead___has_key = "abstract_collection::MapRead::has_key";
 281 val_t standard___collection___abstract_collection___MapRead___has_key(val_t p0, val_t p1);
 282 typedef val_t (*standard___collection___abstract_collection___MapRead___has_key_t)(val_t p0, val_t p1);
 283 static const char * const LOCATE_standard___collection___abstract_collection___MapRead___iterator = "abstract_collection::MapRead::(abstract_collection::Collection::iterator)";
 284 val_t standard___collection___abstract_collection___MapRead___iterator(val_t p0);
 285 typedef val_t (*standard___collection___abstract_collection___MapRead___iterator_t)(val_t p0);
 286 static const char * const LOCATE_standard___collection___abstract_collection___Map_____braeq = "abstract_collection::Map::[]=";
 287 void standard___collection___abstract_collection___Map_____braeq(val_t p0, val_t p1, val_t p2);
 288 typedef void (*standard___collection___abstract_collection___Map_____braeq_t)(val_t p0, val_t p1, val_t p2);
 289 static const char * const LOCATE_standard___collection___abstract_collection___Map___remove_at = "abstract_collection::Map::remove_at";
 290 void standard___collection___abstract_collection___Map___remove_at(val_t p0, val_t p1);
 291 typedef void (*standard___collection___abstract_collection___Map___remove_at_t)(val_t p0, val_t p1);
 292 static const char * const LOCATE_standard___collection___abstract_collection___Map___recover_with = "abstract_collection::Map::recover_with";
 293 void standard___collection___abstract_collection___Map___recover_with(val_t p0, val_t p1);
 294 typedef void (*standard___collection___abstract_collection___Map___recover_with_t)(val_t p0, val_t p1);
 295 static const char * const LOCATE_standard___collection___abstract_collection___MapIterator___key = "abstract_collection::MapIterator::key";
 296 val_t standard___collection___abstract_collection___MapIterator___key(val_t p0);
 297 typedef val_t (*standard___collection___abstract_collection___MapIterator___key_t)(val_t p0);
 298 static const char * const LOCATE_standard___collection___abstract_collection___SequenceRead___first = "abstract_collection::SequenceRead::(abstract_collection::Collection::first)";
 299 val_t standard___collection___abstract_collection___SequenceRead___first(val_t p0);
 300 typedef val_t (*standard___collection___abstract_collection___SequenceRead___first_t)(val_t p0);
 301 static const char * const LOCATE_standard___collection___abstract_collection___SequenceRead___last = "abstract_collection::SequenceRead::last";
 302 val_t standard___collection___abstract_collection___SequenceRead___last(val_t p0);
 303 typedef val_t (*standard___collection___abstract_collection___SequenceRead___last_t)(val_t p0);
 304 static const char * const LOCATE_standard___collection___abstract_collection___SequenceRead___index_of = "abstract_collection::SequenceRead::index_of";
 305 val_t standard___collection___abstract_collection___SequenceRead___index_of(val_t p0, val_t p1);
 306 typedef val_t (*standard___collection___abstract_collection___SequenceRead___index_of_t)(val_t p0, val_t p1);
 307 static const char * const LOCATE_standard___collection___abstract_collection___SequenceRead___iterator = "abstract_collection::SequenceRead::(abstract_collection::Collection::iterator)";
 308 val_t standard___collection___abstract_collection___SequenceRead___iterator(val_t p0);
 309 typedef val_t (*standard___collection___abstract_collection___SequenceRead___iterator_t)(val_t p0);
 310 static const char * const LOCATE_standard___collection___abstract_collection___Sequence___first__eq = "abstract_collection::Sequence::first=";
 311 void standard___collection___abstract_collection___Sequence___first__eq(val_t p0, val_t p1);
 312 typedef void (*standard___collection___abstract_collection___Sequence___first__eq_t)(val_t p0, val_t p1);
 313 static const char * const LOCATE_standard___collection___abstract_collection___Sequence___last__eq = "abstract_collection::Sequence::last=";
 314 void standard___collection___abstract_collection___Sequence___last__eq(val_t p0, val_t p1);
 315 typedef void (*standard___collection___abstract_collection___Sequence___last__eq_t)(val_t p0, val_t p1);
 316 static const char * const LOCATE_standard___collection___abstract_collection___Sequence___add = "abstract_collection::Sequence::(abstract_collection::SimpleCollection::add)";
 317 void standard___collection___abstract_collection___Sequence___add(val_t p0, val_t p1);
 318 typedef void (*standard___collection___abstract_collection___Sequence___add_t)(val_t p0, val_t p1);
 319 static const char * const LOCATE_standard___collection___abstract_collection___Sequence___push = "abstract_collection::Sequence::push";
 320 void standard___collection___abstract_collection___Sequence___push(val_t p0, val_t p1);
 321 typedef void (*standard___collection___abstract_collection___Sequence___push_t)(val_t p0, val_t p1);
 322 static const char * const LOCATE_standard___collection___abstract_collection___Sequence___append = "abstract_collection::Sequence::append";
 323 void standard___collection___abstract_collection___Sequence___append(val_t p0, val_t p1);
 324 typedef void (*standard___collection___abstract_collection___Sequence___append_t)(val_t p0, val_t p1);
 325   typedef void (*CLOS_OC_standard___collection___abstract_collection___Sequence___append_1_0)(struct stack_frame_t *);
 326   void OC_standard___collection___abstract_collection___Sequence___append_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 327   typedef void (*OC_standard___collection___abstract_collection___Sequence___append_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
 328 static const char * const LOCATE_standard___collection___abstract_collection___Sequence___pop = "abstract_collection::Sequence::pop";
 329 val_t standard___collection___abstract_collection___Sequence___pop(val_t p0);
 330 typedef val_t (*standard___collection___abstract_collection___Sequence___pop_t)(val_t p0);
 331 static const char * const LOCATE_standard___collection___abstract_collection___Sequence___unshift = "abstract_collection::Sequence::unshift";
 332 void standard___collection___abstract_collection___Sequence___unshift(val_t p0, val_t p1);
 333 typedef void (*standard___collection___abstract_collection___Sequence___unshift_t)(val_t p0, val_t p1);
 334 static const char * const LOCATE_standard___collection___abstract_collection___Sequence___shift = "abstract_collection::Sequence::shift";
 335 val_t standard___collection___abstract_collection___Sequence___shift(val_t p0);
 336 typedef val_t (*standard___collection___abstract_collection___Sequence___shift_t)(val_t p0);
 337 static const char * const LOCATE_standard___collection___abstract_collection___IndexedIterator___index = "abstract_collection::IndexedIterator::index";
 338 val_t standard___collection___abstract_collection___IndexedIterator___index(val_t p0);
 339 typedef val_t (*standard___collection___abstract_collection___IndexedIterator___index_t)(val_t p0);
 340 static const char * const LOCATE_standard___collection___abstract_collection___IndexedIterator___key = "abstract_collection::IndexedIterator::(abstract_collection::MapIterator::key)";
 341 val_t standard___collection___abstract_collection___IndexedIterator___key(val_t p0);
 342 typedef val_t (*standard___collection___abstract_collection___IndexedIterator___key_t)(val_t p0);
 343 static const char * const LOCATE_standard___collection___abstract_collection___CoupleMap___couple_at = "abstract_collection::CoupleMap::couple_at";
 344 val_t standard___collection___abstract_collection___CoupleMap___couple_at(val_t p0, val_t p1);
 345 typedef val_t (*standard___collection___abstract_collection___CoupleMap___couple_at_t)(val_t p0, val_t p1);
 346 static const char * const LOCATE_standard___collection___abstract_collection___CoupleMap_____bra = "abstract_collection::CoupleMap::(abstract_collection::MapRead::[])";
 347 val_t standard___collection___abstract_collection___CoupleMap_____bra(val_t p0, val_t p1);
 348 typedef val_t (*standard___collection___abstract_collection___CoupleMap_____bra_t)(val_t p0, val_t p1);
 349 static const char * const LOCATE_standard___collection___abstract_collection___CoupleMap___has_key = "abstract_collection::CoupleMap::(abstract_collection::MapRead::has_key)";
 350 val_t standard___collection___abstract_collection___CoupleMap___has_key(val_t p0, val_t p1);
 351 typedef val_t (*standard___collection___abstract_collection___CoupleMap___has_key_t)(val_t p0, val_t p1);
 352 static const char * const LOCATE_standard___collection___abstract_collection___CoupleMapIterator___item = "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::item)";
 353 val_t standard___collection___abstract_collection___CoupleMapIterator___item(val_t p0);
 354 typedef val_t (*standard___collection___abstract_collection___CoupleMapIterator___item_t)(val_t p0);
 355 static const char * const LOCATE_standard___collection___abstract_collection___CoupleMapIterator___key = "abstract_collection::CoupleMapIterator::(abstract_collection::MapIterator::key)";
 356 val_t standard___collection___abstract_collection___CoupleMapIterator___key(val_t p0);
 357 typedef val_t (*standard___collection___abstract_collection___CoupleMapIterator___key_t)(val_t p0);
 358 static const char * const LOCATE_standard___collection___abstract_collection___CoupleMapIterator___is_ok = "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::is_ok)";
 359 val_t standard___collection___abstract_collection___CoupleMapIterator___is_ok(val_t p0);
 360 typedef val_t (*standard___collection___abstract_collection___CoupleMapIterator___is_ok_t)(val_t p0);
 361 static const char * const LOCATE_standard___collection___abstract_collection___CoupleMapIterator___next = "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::next)";
 362 void standard___collection___abstract_collection___CoupleMapIterator___next(val_t p0);
 363 typedef void (*standard___collection___abstract_collection___CoupleMapIterator___next_t)(val_t p0);
 364 static const char * const LOCATE_standard___collection___abstract_collection___CoupleMapIterator___init = "abstract_collection::CoupleMapIterator::init";
 365 void standard___collection___abstract_collection___CoupleMapIterator___init(val_t p0, val_t p1, int* init_table);
 366 typedef void (*standard___collection___abstract_collection___CoupleMapIterator___init_t)(val_t p0, val_t p1, int* init_table);
 367 val_t NEW_CoupleMapIterator_standard___collection___abstract_collection___CoupleMapIterator___init(val_t p0);
 368 static const char * const LOCATE_standard___collection___abstract_collection___Couple___first = "abstract_collection::Couple::first";
 369 val_t standard___collection___abstract_collection___Couple___first(val_t p0);
 370 typedef val_t (*standard___collection___abstract_collection___Couple___first_t)(val_t p0);
 371 static const char * const LOCATE_standard___collection___abstract_collection___Couple___first__eq = "abstract_collection::Couple::first=";
 372 void standard___collection___abstract_collection___Couple___first__eq(val_t p0, val_t p1);
 373 typedef void (*standard___collection___abstract_collection___Couple___first__eq_t)(val_t p0, val_t p1);
 374 static const char * const LOCATE_standard___collection___abstract_collection___Couple___second = "abstract_collection::Couple::second";
 375 val_t standard___collection___abstract_collection___Couple___second(val_t p0);
 376 typedef val_t (*standard___collection___abstract_collection___Couple___second_t)(val_t p0);
 377 static const char * const LOCATE_standard___collection___abstract_collection___Couple___second__eq = "abstract_collection::Couple::second=";
 378 void standard___collection___abstract_collection___Couple___second__eq(val_t p0, val_t p1);
 379 typedef void (*standard___collection___abstract_collection___Couple___second__eq_t)(val_t p0, val_t p1);
 380 static const char * const LOCATE_standard___collection___abstract_collection___Couple___init = "abstract_collection::Couple::init";
 381 void standard___collection___abstract_collection___Couple___init(val_t p0, val_t p1, val_t p2, int* init_table);
 382 typedef void (*standard___collection___abstract_collection___Couple___init_t)(val_t p0, val_t p1, val_t p2, int* init_table);
 383 val_t NEW_Couple_standard___collection___abstract_collection___Couple___init(val_t p0, val_t p1);
 384 #endif