Lines Matching defs:includes
1765 type includes = string list;
1770 includes : includes,
1816 fun mkProblem {comments,includes,names,roles,problem} =
1833 includes = includes,
2108 val (includes,formulas) = partitionDeclarations declarations
2112 includes = includes,
2142 val Problem {comments,includes,formulas} = problem
2145 val formulasTop = includesTop andalso List.null includes
2152 Stream.map mkInclude (Stream.fromList includes),