You can search for identifiers within the package.
in-package search v0.2.0
type t =
| Num of int
| Var of string
| BinOp of string * t * t
| Seq of t list
| IfThenElse of t * t * t option
| TyAs of t * t
| Tuple of t list
| TyArrow of t * t
| TyTuple of t list
| Uminus of t
| App of t * t