Lines Matching defs:includes
540 type include_info = {includes : string list, preincludes : string list }
542 type include_info = {includes : string list, preincludes : string list}
608 fun runholdep {ofs, extras, includes, arg, destination} = let
627 val _ = diagK ("Running Holdep on "^fromFile arg^" with includes = [" ^
628 String.concatWith ", " includes ^ "], assumes = [" ^
632 includes = includes, fname = fromFile arg}
718 val {includes,preincludes} = incinfo
727 includes = preincludes @ includes, arg = arg,