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
val type_annot_re : Str.regexp
type type_info = int * int 
absolute position of start and end of type annotation in the .annot file

type tree = {
   t_pos_left : int;
   t_pos_right : int;
   t_type_info : type_info option;
   t_children : tree list;
}
val add_node : tree list ->
left:int -> right:int -> start:int -> stop:int -> tree list
val build_tree : string -> tree option
val search_in_tree : int -> tree -> (int * int * int * int) option