Module Dtypes (.ml)


module Dtypes: sig .. end
Getting information in ocaml-generated .annot files.

val filename_re : string
val number_re : string
val position_re : string
val s_location_re : string
val location_re : Str.regexp
type loc = int * int 
absolute position of start and end of type annotation in the .annot file

type ident_kind =
| Int_ref of string * loc
| Ext_ref of string
| Def of string

type annot_kind =
| Type of string Lazy.t
| Ident of ident_kind
| Call of [ `Stack | `Tail ]
val no_blanks : string -> string
val ext_ref_re : string
val int_ref_re : string
val def_re : string
val ident_info_of_string : string -> ident_kind
val annot_kind_of_string : start:int -> stop:int -> string -> string -> annot_kind
val annot_re : Str.regexp

type tree = {
   t_pos_left : int;
   t_pos_right : int;
   t_kind : annot_kind option;
   t_children : tree list;
}
val add_node : tree list ->
left:int -> right:int -> kind:annot_kind -> tree list
val cut_by_locations : string -> (int * int * int * int) list
val get_annots : string ->
tree list ->
left:int -> right:int -> int -> int option -> tree list
val build_tree : string -> tree option
val search_in_tree : [> `Call | `Ident | `Type ] ->
int -> tree -> (int * int * annot_kind) option
val fold : ('a -> int * int * annot_kind option -> 'a) -> 'a -> tree -> 'a