You can search for identifiers within the package.
in-package search v0.2.0
binsec_cli_bbsse
Binsec_cli_bbsse.Stat
val ground_truth : bool Stdlib.ref
val all_predicates : int Stdlib.ref
val deemed_opaques : int Stdlib.ref
val true_positives : int Stdlib.ref
val false_positives : int Stdlib.ref
val wrong_positives : int Stdlib.ref
val deemed_clear : int Stdlib.ref
val true_negatives : int Stdlib.ref
val false_negatives : int Stdlib.ref
val deemed_unreachable : int Stdlib.ref
val true_unreachable : int Stdlib.ref
val false_unreachable : int Stdlib.ref
val failure : int Stdlib.ref
val all_paths : int Stdlib.ref
type time = {
mutable sec : float;
}
val search_time : time
val eval_time : time
val total_time : time