You can search for identifiers within the package.
in-package search v0.2.0
type input = {
inbox_level : Bounded.Int32.NonNegative.t;
message_counter : Z.t;
}
type output = {
outbox_level : Bounded.Int32.NonNegative.t;
message_index : Z.t;
type input_request =
| No_input_required
| Input_required
type info = {
current_tick : Z.t;
last_input_read : input option;
input_request : input_request;
module Make (Tree : Context.TREE with type key = string list and type value = bytes) : sig ... end