You can search for identifiers within the package.
in-package search v0.2.0
jasmin.jasmin
Expr.FunInfo
type t
val witness : t
val entry_info : t -> instr_info
val ret_info : t -> instr_info