You can search for identifiers within the package.
in-package search v0.2.0
type typed_var = {
ty : Type.t;
name : string;
}
type t =
| ConstInt of {
value : Z.t;
| ConstFP of {
value : float;
| Name of typed_var
| Vector of {
value : t list;
| Array of {
| Void of {
| Undef
val typed_var_of_expr : t -> typed_var
val get_type : t -> Type.t
val pp : Stdlib.Format.formatter -> t -> unit