You can search for identifiers within the package.
in-package search v0.2.0
val tcp_stack : Stack.t Mimic.value
val tcp_ipaddr : Ipaddr.V4.t Mimic.value