Lines Matching refs:list
19 val add_list : term_ptree -> (num * term) list -> term_ptree
21 val traverse : term_ptree -> num list
22 val keys : term_ptree -> num list
30 val ptree_of_list : (num * term) list -> term_ptree
31 val list_of_ptree : term_ptree -> (num * term) list
32 val ptree_of_nums : num list -> term_ptree
36 val int_add_list : term_ptree -> (int * term) list -> term_ptree
40 val int_ptree_of_list : (int * term) list -> term_ptree
41 val ptree_of_ints : int list -> term_ptree
45 val string_add_list : term_ptree -> (string * term) list -> term_ptree
49 val string_ptree_of_list : (string * term) list -> term_ptree
50 val ptree_of_strings : string list -> term_ptree