package rdr

  1. Overview
  2. Docs
val debug : bool
type tag =
  1. | Meta
  2. | Code
  3. | Unknown
  4. | Symbol
  5. | SymbolTable
  6. | String
  7. | StringTable
  8. | Rela
  9. | PlatformSpecific
  10. | Data
  11. | Invalid
  12. | Semantic
  13. | Zero
val tag_to_string : tag -> string
val tags : string list
type data = {
  1. size : int;
  2. tag : tag;
  3. range_start : int;
  4. range_end : int;
  5. extra : string;
  6. understood : bool;
  7. container : bool;
}
val is_contained : data -> data -> bool
val contains : data -> data -> bool
val same_range : data -> data -> bool
val sort : data -> data -> int
module DataSet : sig ... end
type t = {
  1. data : DataSet.t;
  2. size : int;
  3. total_coverage : int;
  4. total_understood : int;
  5. percent_coverage : float;
  6. percent_understood : float;
  7. tags : string list;
}
val mem : DataSet.elt -> DataSet.t -> bool
val empty : DataSet.t
val fold : (DataSet.elt -> 'a -> 'a) -> DataSet.t -> 'a -> 'a
val iter : (DataSet.elt -> unit) -> DataSet.t -> unit
val remove : DataSet.elt -> DataSet.t -> DataSet.t
val to_list : DataSet.t -> DataSet.elt list
val is_covered : DataSet.elt -> DataSet.t -> bool
val is_semantic : data -> bool
val is_same_range : DataSet.elt -> DataSet.t -> bool
val is_sub_range : DataSet.elt -> DataSet.t -> bool
val contains_something : data -> DataSet.t -> bool
val is_unique : DataSet.elt -> DataSet.t -> bool
val is_container : DataSet.elt -> DataSet.t -> bool
val pick_with : (DataSet.elt -> bool) -> 'a -> DataSet.t -> DataSet.elt -> DataSet.elt
val normalize : DataSet.t -> DataSet.t * DataSet.t
val finalize : DataSet.t -> DataSet.t
val data_to_string : data -> string
val print_data : DataSet.t -> unit
val print : t -> unit
val create_data : tag:tag -> r1:int -> r2:int -> extra:string -> understood:bool -> data
val count : DataSet.t -> (DataSet.elt -> bool) -> int
val count_coverage : DataSet.t -> int * int
val compute_unknown : DataSet.t -> int -> DataSet.t
val create : int -> DataSet.t -> t