blob: 767c9b572ca546491bfe5bf3583941d3fc1ea904 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
signature IL = sig
structure P: PARSER
datatype ctx = Ctx of {
objs: P.objDef list,
objsZI: P.objDef list,
extSyms: P.nid list,
globSyms: P.nid list,
funcs: P.funcInfo list,
strlits: int list
}
val createCtx: P.progInfo -> ctx
end
|