You can search for identifiers within the package.
in-package search v0.2.0
module type STRING = sig ... end
type !'a klist = [
| `Cons of 'a * (unit -> 'a klist)
| `Nil
]
val klist_to_list : 'a klist -> 'a list
module type S = sig ... end
module Make (Str : STRING) : sig ... end
type char_ = char
type string_ = string
val edit_distance : string_ -> string_ -> int
type automaton
val of_string : limit:int -> string_ -> automaton
val of_list : limit:int -> char_ list -> automaton
val match_with : automaton -> string_ -> bool
module Index : sig ... end
val debug_print : Pervasives.out_channel -> automaton -> unit