You can search for identifiers within the package.
in-package search v0.2.0
ocaml-logicalform
Style.Infix
type nonrec t = {
var_prefix : string;
true_string : string;
false_string : string;
_not_ : string;
_and_ : string;
_or_ : string;
}
val default : t