Lines Matching defs:int
4 type int = Int.int
34 type pos = int
47 val symbolMake : string * int -> symbol
96 datatype term = T of int
97 datatype nonterm = NT of int
110 precedence : int option, rulenum : int } list,
111 terms: int,
112 nonterms: int,
116 precedence : term -> int option,
138 num : int,
139 rulenum : int,
140 precedence : int option}
169 dot : int,
189 datatype core = CORE of item list * int (* state # *)
244 val shift : graph -> int * Grammar.symbol -> int (* int = state # *)
245 val core : graph -> int -> Core.core (* get core for a state *)
268 val mkFuncs : {rules : IntGrammar.rule list, nonterms : int,
288 datatype lcore = LCORE of (Core.item * Grammar.term list) list * int
292 nonterms : int,
318 datatype err = RR of LrTable.term * LrTable.state * int * int
319 | SR of LrTable.term * LrTable.state * int
320 | NS of LrTable.term * int
321 | NOT_REDUCED of int
322 | START of int
324 val summary : err list -> {rr : int, sr: int,
325 not_reduced : int, start : int,nonshift : int}
345 } -> int
356 entries : int,
363 printRule : (string -> unit) -> int -> unit} -> unit
401 (int * int list *
403 LrTable.action) list) * int