Lines Matching defs:num
7 type num = Arbnum.num
17 val peek : term_ptree -> num -> term option
18 val add : term_ptree -> (num * term) -> term_ptree
19 val add_list : term_ptree -> (num * term) list -> term_ptree
20 val remove : term_ptree -> num -> term_ptree
21 val traverse : term_ptree -> num list
22 val keys : term_ptree -> num list
26 val every_leaf : (num -> term -> bool) -> term_ptree -> bool
27 val tabulate : int * (int -> num * term) -> term_ptree
28 val in_ptree : num * term_ptree -> bool
29 val insert_ptree : num * term_ptree -> term_ptree
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
53 bool PP.pprinter -> (num * term) PP.pprinter -> int ->