You can search for identifiers within the package.
in-package search v0.2.0
frama-c-wp.core
Wp.MemVal
module type State = sig ... end
module type Value = sig ... end
module Make (_ : Value) : Sigs.Model
module Eva : Value
The glue between WP and EVA. *