Lines Matching refs:list
9 (* simple list things *)
10 val member : ''a -> ''a list -> bool
11 val set_union : ''a list -> ''a list -> ''a list
12 val delete : ''a -> ''a list -> ''a list
13 val set_diff : ''a list -> ''a list -> ''a list
14 val remove_duplicates : ''a list -> ''a list
21 val fullPath : string list -> string
22 val spacify : string list -> string
25 val realspace_delimited_fields : string -> string list
69 (string -> unit) -> string option -> File list
70 val extract_theory : string list -> string option
72 val clean_dir : {extra_cleans: string list} -> unit
84 val sort : t list -> t list
90 type include_info = {includes : string list, preincludes : string list}
105 (* nicely format a list of makefile targets *)
106 val target_string : string list -> string
113 extra_targets : string list } ->
114 File -> File list