Lines Matching defs:includes
213 val includes = []
223 includes = includes,
262 includes = [],
305 includes = [],
343 fun readIncludes mapping seen formulas includes =
344 case includes of
346 | inc :: includes =>
348 readIncludes mapping seen formulas includes
355 val Tptp.Problem {includes = i, formulas = f, ...} =
360 val includes = List.revAppend (i,includes)
362 readIncludes mapping seen formulas includes
369 val Tptp.Problem {comments,includes,formulas} = problem
371 if List.null includes then problem
376 val includes = List.rev includes
378 val formulas = readIncludes mapping seen formulas includes
382 includes = [],