-
Notifications
You must be signed in to change notification settings - Fork 1
/
const.mli
21 lines (21 loc) · 945 Bytes
/
const.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
val show_token : Vparser.token -> unit
val show_sym : string -> Setup.symtab -> unit
val maxwidth : Setup.fmt -> Setup.shash -> Vparser.token -> int
val exprBoolean :
Setup.fmt ->
Setup.shash ->
(Vparser.token -> Vparser.token -> bool) -> Vparser.token -> Vparser.token -> bool
val exprConst : Setup.fmt -> Setup.shash -> Vparser.token -> Vparser.token
val exprConstStr : Setup.fmt -> Setup.shash -> Vparser.token -> string
val iwidth :
Setup.fmt -> Setup.shash -> Vparser.token -> int * int * int
val maxwidth :
Setup.fmt -> Setup.shash -> Vparser.token -> int
val widthnum : Setup.fmt -> int -> string -> int*int
val dump_sym : string -> string -> unit
val dump_syms : string -> unit
val my_syms : string -> unit
val shash_chain_mem : Setup.shash -> string -> bool
val shash_chain_find : Setup.shash -> string -> Setup.symtab
val shash_chain_replace : Setup.shash -> string -> Setup.symtab -> unit
val idirection : int -> int -> int