You can search for identifiers within the package.
in-package search v0.2.0
binsec.sse
Script.Directive
type t =
| Cut of Expr.t option
| Assume of Expr.t
| Assert of Expr.t
| Reach of int * Expr.t option * Types.Output.t list
| Enumerate of int * Expr.t