// a project with a module and an include with a typespec
final IErlProject project = project1;
final String includeName = "a.hrl";
final IErlModule include = createModule(project, includeName,
"-type date() :: {pos_integer(), pos_integer(), pos_integer()}.\n");
include.open(null);
final IErlModule module = createModule(
project,
"f.erl",
"-module(f).\n-include(\"a.hrl\").\n-export([f/0]).\n-record(rec2, {a, b}).\n"
+ "f() ->\n lists:reverse([1, 0]),\n lists:reverse([1, 0], [2]).\n");