You can search for identifiers within the package.
in-package search v0.2.0
frama-c-wp.core
Layout.Root
val pretty : root Frama_c_kernel.Pretty_utils.formatter
val from : root:('a -> root) -> 'a from -> root
val merge : root -> root -> root
val indexed : root -> bool
val framed : root -> bool