val create : ?alpha:float -> ?beta:float -> ?p1:float -> ?ps:float -> ?len_pdf:( float -> float ) -> Core_kernel.Char.Set.t -> 'a t
create alphabet creates a detector.
run detector trace runs a
detector on a sequence on a
trace represented as a sequence of bytes accessed during an execution. Returns a sequence of char sequences, where each subsequence is represented as a string and contains characters that were assumed to belong to the textual data.
val result : 'a decision -> ('a * char) list
val chars : 'a decision -> string
val data : ?rev:bool -> 'a decision -> 'a list