You can search for identifiers within the package.
in-package search v0.2.0
type kind =
| Goal
| When
| WhenNot
type chunk = {
kind : kind;
range : Why3findUtils.Range.range;
}
val chunks : file:string -> Why3.Task.task -> chunk list
val dump : file:string -> context:int -> Why3.Theory.theory -> Why3.Task.task -> unit