Lines Matching refs:list
7 type overloaded_op_info = {base_type : hol_type, actual_ops : term list,
8 tyavoids : hol_type list}
17 val oinfo_ops : overload_info -> (string * overloaded_op_info) list
20 val print_map : overload_info -> (nthy_rec * string) list
26 (term list -> term list) -> overloaded_op_info ->
32 string -> overload_info -> overload_info * (term list * term list)
35 string -> (nthy_rec list * nthy_rec list) ->
60 val known_constants : overload_info -> string list
66 val oi_strip_comb : overload_info -> term -> (term * term list) option
68 (term * term list) option