Lines Matching defs:amode
287 amode:(collection_to_list(+,-) is semidet),
406 amode:(collection_to_array(+,-) is semidet),
506 amode:(halve(+,-,-) is det),
531 amode:(splice(+,+,-) is det),
532 amode:(splice(-,-,+) is multi),
587 amode:(shuffle(+,-) is det),
610 amode:(print_list(+) is det),
622 amode:(middle_out(+,-) is det),
654 amode:(select(+,+,-) is nondet), % redundant, but common
655 amode:(select(-,+,-) is nondet), % redundant, but common
656 amode:(select(-,-,-) is multi),
709 amode:(delete(+,+,-) is nondet), % redundant, but common
710 amode:(delete(-,+,-) is nondet), % redundant, but common
711 amode:(delete(-,-,-) is multi),
736 amode:(intersection(+,+,-) is det),
766 amode:(length(+,+) is semidet),
767 amode:(length(+,-) is det),
768 amode:(length(-,+) is det),
769 amode:(length(-,-) is multi),
803 amode:(member(-,+) is nondet),
804 amode:(member(+,-) is nondet),
805 amode:(member(-,-) is multi),
831 amode:(memberchk(+,+) is semidet),
832 amode:(memberchk(+,-) is det),
855 amode:(nonmember(+,+) is semidet),
880 amode:(subtract(+,+,-) is det),
909 amode:(union(+,+,-) is det),
938 amode:(reverse(+,-) is det),
962 amode:(append(+,+,-) is det),
963 amode:(append(-,-,+) is multi),
986 amode:(checklist(+,+)),
1014 amode:(flatten(+,-) is det),
1044 amode:(flatten(++,+,-) is det),
1083 amode:(maplist(+,+,-)),
1084 amode:(maplist(+,-,+)),
1114 amode:(subset(-,+) is multi),