You can search for identifiers within the package.
in-package search v0.2.0
module M : sig ... end
type aliasty =
| Pointer of Expr.t
| Predicate of {
cond : Cond.t;
operand0 : Expr.t;
operand1 : Expr.t;
}
type t = aliasty M.t
val empty : 'a M.t
val add : M.key -> 'a -> 'a M.t -> 'a M.t
val find : M.key -> 'a M.t -> 'a
val find_opt : M.key -> 'a M.t -> 'a option
val pp_aliasty : Stdlib.Format.formatter -> (string * aliasty) -> unit
val pp : Stdlib.Format.formatter -> aliasty M.t -> unit