You can search for identifiers within the package.
in-package search v0.2.0
type ('a, 'b) left_or_right_list = [
| `Left of 'a list
| `Right of 'b list
]
val combine_with_leftovers : 'a list -> 'b list -> ('a * 'b) list * [> `Left of 'a list | `Right of 'b list ] option