Searched refs:mem (Results 1 - 1 of 1) sorted by relevance

/hets/HolLight/OcamlTools/exportTools/
H A Doverload_loadfile.ml146 and purge = fun names (h,l) -> (Hashtbl.fold (fun k v t -> (if List.mem k names then () else Hashtbl.add t k v); t) h (Hashtbl.create (Hashtbl.length h)),List.filter (fun (s,_) -> not(List.mem s names)) l)
147 and childnodes = fun n l -> List.fold_left (fun ch (s,t) -> if t == n || List.mem t ch then s::ch else ch) [] l
149 List.fold_left (fun b n1 -> b & (List.mem n1 empty)) true (childnodes n l)

Completed in 28 milliseconds