module Annot:sig
..end
type
pos = {
|
line : |
|
col : |
|
offset : |
type
range = {
|
start_pos : |
|
end_pos : |
type
t =
| |
Atom of |
| |
List of |
type'a
conv =[ `Error of exn * t | `Result of 'a ]
exception Conv_exn of string * exn
type
stack = {
|
mutable positions : |
|
mutable stack : |
val get_sexp : t -> Type.t
val get_range : t -> range
exception Annot_sexp of t
val find_sexp : t -> Type.t -> t option