Lines Matching defs:pres
293 NONE => {pres = empty_dirset, incs = empty_dirset}
296 fun extend_idmap k (v as {incs = i,pres = p}) idm0 =
299 | SOME {incs = i0, pres = p0} =>
302 pres = Binaryset.union(p0,p)})
307 type incmap = (hmdir.t, {incs:dirset,pres:dirset}) Binarymap.dict
341 incdirmap |> extend_idmap dir {incs = incset, pres = preincset}
343 SOME ds => extend_idmap dir {incs=ds,pres=empty_dirset}
388 val {incs,pres} = idm_lookup incdirmap dir
395 hmdir.pretty_dir dir ^ " = " ^ print_set pres)
404 val {pres, incs} = idm_lookup incdirmap dir
409 val data' = hm {includes=f incs,preincludes=f pres} warn dir data
1004 {pres = empty_dirset, incs = empty_dirset}
1009 fun get_targets_recursively {incs, pres} =
1011 val dirs = set_add original_dir (set_union incs pres)