package rdr
-
rdr
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val tag_to_string : tag -> string
type data = {
size : int;
tag : tag;
range_start : int;
range_end : int;
extra : string;
understood : bool;
container : bool;
}
module DataSet : sig ... end
type t = {
data : DataSet.t;
size : int;
total_coverage : int;
total_understood : int;
percent_coverage : float;
percent_understood : float;
}
val mem : DataSet.elt -> DataSet.t -> bool
val add : DataSet.elt -> DataSet.t -> DataSet.t
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 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 data_to_string : data -> string
val print_data : DataSet.t -> unit
val print : t -> unit
val count : DataSet.t -> (DataSet.elt -> bool) -> int
val count_coverage : DataSet.t -> int * int