lustrec/src/annotations.mli @ a7062da6
1 |
open Utils |
---|---|
2 |
|
3 |
val expr_annotations: (string list, ident * tag) Hashtbl.t |
4 |
|
5 |
val add_node_ann: ident -> string list -> unit |
6 |
val add_expr_ann: ident -> tag -> string list -> unit |
7 |
val get_expr_annotations: ident list -> (ident * tag) list |