You can search for identifiers within the package.
in-package search v0.2.0
frama-c-server.core
Kernel_ast.Kinstr
Optional markers interpreted as kinstr.
type t = Frama_c_kernel.Cil_types.kinstr
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json