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