Lines Matching refs:list
18 APPEND : 'a list -> 'a list -> 'a list20 APPEND : char list -> char list -> char list23 former if you ask for data on APPEND : num list -> num list -> num list.27 APPEND : num list -> num list -> num list