280 val unN = "un" |
280 val unN = "un" |
281 val algN = "alg" |
281 val algN = "alg" |
282 val IITN = "IITN" |
282 val IITN = "IITN" |
283 val foldN = "fold" |
283 val foldN = "fold" |
284 val unfoldN = unN ^ foldN |
284 val unfoldN = unN ^ foldN |
285 val uniqueN = "_unique" |
285 val uniqueN = "unique" |
286 val transferN = "_transfer" |
286 val transferN = "transfer" |
287 val simpsN = "simps" |
287 val simpsN = "simps" |
288 val ctorN = "ctor" |
288 val ctorN = "ctor" |
289 val dtorN = "dtor" |
289 val dtorN = "dtor" |
290 val ctor_foldN = ctorN ^ "_" ^ foldN |
290 val ctor_foldN = ctorN ^ "_" ^ foldN |
291 val dtor_unfoldN = dtorN ^ "_" ^ unfoldN |
291 val dtor_unfoldN = dtorN ^ "_" ^ unfoldN |
292 val ctor_fold_uniqueN = ctor_foldN ^ uniqueN |
292 val ctor_fold_uniqueN = ctor_foldN ^ "_" ^ uniqueN |
293 val ctor_fold_o_mapN = ctor_foldN ^ "_o_" ^ mapN |
293 val ctor_fold_o_mapN = ctor_foldN ^ "_o_" ^ mapN |
294 val dtor_unfold_uniqueN = dtor_unfoldN ^ uniqueN |
294 val dtor_unfold_uniqueN = dtor_unfoldN ^ "_" ^ uniqueN |
295 val dtor_unfold_o_mapN = dtor_unfoldN ^ "_o_" ^ mapN |
295 val dtor_unfold_o_mapN = dtor_unfoldN ^ "_o_" ^ mapN |
296 val ctor_fold_transferN = ctor_foldN ^ transferN |
296 val ctor_fold_transferN = ctor_foldN ^ "_" ^ transferN |
297 val dtor_unfold_transferN = dtor_unfoldN ^ transferN |
297 val dtor_unfold_transferN = dtor_unfoldN ^ "_" ^ transferN |
298 val ctor_mapN = ctorN ^ "_" ^ mapN |
298 val ctor_mapN = ctorN ^ "_" ^ mapN |
299 val dtor_mapN = dtorN ^ "_" ^ mapN |
299 val dtor_mapN = dtorN ^ "_" ^ mapN |
300 val map_uniqueN = mapN ^ uniqueN |
300 val map_uniqueN = mapN ^ "_" ^ uniqueN |
301 val ctor_map_uniqueN = ctorN ^ "_" ^ map_uniqueN |
301 val ctor_map_uniqueN = ctorN ^ "_" ^ map_uniqueN |
302 val dtor_map_uniqueN = dtorN ^ "_" ^ map_uniqueN |
302 val dtor_map_uniqueN = dtorN ^ "_" ^ map_uniqueN |
303 val min_algN = "min_alg" |
303 val min_algN = "min_alg" |
304 val morN = "mor" |
304 val morN = "mor" |
305 val bisN = "bis" |
305 val bisN = "bis" |
321 val str_initN = "str_init" |
321 val str_initN = "str_init" |
322 val recN = "rec" |
322 val recN = "rec" |
323 val corecN = coN ^ recN |
323 val corecN = coN ^ recN |
324 val ctor_recN = ctorN ^ "_" ^ recN |
324 val ctor_recN = ctorN ^ "_" ^ recN |
325 val ctor_rec_o_mapN = ctor_recN ^ "_o_" ^ mapN |
325 val ctor_rec_o_mapN = ctor_recN ^ "_o_" ^ mapN |
326 val ctor_rec_transferN = ctor_recN ^ transferN |
326 val ctor_rec_transferN = ctor_recN ^ "_" ^ transferN |
327 val ctor_rec_uniqueN = ctor_recN ^ uniqueN |
327 val ctor_rec_uniqueN = ctor_recN ^ "_" ^ uniqueN |
328 val dtor_corecN = dtorN ^ "_" ^ corecN |
328 val dtor_corecN = dtorN ^ "_" ^ corecN |
329 val dtor_corec_o_mapN = dtor_corecN ^ "_o_" ^ mapN |
329 val dtor_corec_o_mapN = dtor_corecN ^ "_o_" ^ mapN |
330 val dtor_corec_transferN = dtor_corecN ^ transferN |
330 val dtor_corec_transferN = dtor_corecN ^ "_" ^ transferN |
331 val dtor_corec_uniqueN = dtor_corecN ^ uniqueN |
331 val dtor_corec_uniqueN = dtor_corecN ^ "_" ^ uniqueN |
332 |
332 |
333 val ctor_dtorN = ctorN ^ "_" ^ dtorN |
333 val ctor_dtorN = ctorN ^ "_" ^ dtorN |
334 val dtor_ctorN = dtorN ^ "_" ^ ctorN |
334 val dtor_ctorN = dtorN ^ "_" ^ ctorN |
335 val nchotomyN = "nchotomy" |
335 val nchotomyN = "nchotomy" |
336 val injectN = "inject" |
336 val injectN = "inject" |