Module Pre_sexp.Annot
type pos
= Parsexp.Positions.pos
=
{
line : int;
col : int;
offset : int;
}
type range
= Parsexp.Positions.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
]
val get_sexp : t -> Type.t
val get_range : t -> range
val sexp_of_conv : ('a -> Type.t) -> [< `Error of exn * t | `Result of 'a ] -> Type.t
exception
Annot_sexp of t