Module Functors (.ml)

module Functors: sig .. end
Components for implementing common logic throughout Sosa's implementation.

module type T_LENGTH_AND_COMPSUB = sig .. end
module type T_LENGTH_SUB_AND_SEARCH = sig .. end
module Compare_substring_strict_of_loose (S : T_LENGTH_AND_COMPSUB) : sig .. end
module Make_index_of_string (S : T_LENGTH_AND_COMPSUB) : sig .. end
module Make_split_function (S : T_LENGTH_SUB_AND_SEARCH) : sig .. end
module Make_strip_function (S : sig
type t 
type character 
val empty : t
val is_whitespace : character -> bool
val length : t -> int
val find : ?from:int ->
?length:int -> t -> f:(character -> bool) -> int option
val find_reverse : ?from:int ->
?length:int -> t -> f:(character -> bool) -> int option
val sub_exn : t -> index:int -> length:int -> t
end) : sig .. end
module Make_prefix_suffix_array (A : sig
type t 
type character 
val get : t -> int -> character
val length : t -> int
val sub_exn : t -> index:int -> length:int -> t
end) : sig .. end
module Make_split_at_index_functions (A : sig
type t 
type character 
val empty : t
val length : t -> int
val sub_exn : t -> index:int -> length:int -> t
end) : sig .. end
module Make_native (B : sig
type t 
val empty : t
val length : t -> int
val get : t -> int -> char
val make : int -> char -> t
val init : int -> f:(int -> char) -> t
val compare : t -> t -> int
val concat : sep:t -> t list -> t
val iter : f:(char -> unit) -> t -> unit
val iteri : f:(int -> char -> unit) -> t -> unit
val map : f:(char -> char) -> t -> t
val mapi : f:(int -> char -> char) -> t -> t
val index_from : t -> int -> char -> int
val rindex_from : t -> int -> char -> int
val sub : t -> pos:int -> len:int -> t
val of_buffer : Buffer.t -> t
val string_for_output : t -> string
end) : sig .. end