You can search for identifiers within the package.
in-package search v0.2.0
type 'a parser := 'a t
type 'a t
type command_line = {
program : string;
subcommand : string list;
args : string list;
}
val file : string t
val values : 'a list -> 'a t
val reentrant : (command_line -> 'a list) -> 'a t
val reentrant_parse : 'a list parser -> 'a t
val reentrant_thunk : (unit -> 'a list) -> 'a t
val some : 'a t -> 'a option t
For use in cases the optionality of a value being parsed/completed needs to represented in the value itself.