You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.kernel
Vmlibrary
type t
Type of VM libraries.
type index
type indirect_code = index Vmemitcodes.pbody_code
type compiled_library
type on_disk
val vm_segment : compiled_library ObjFile.id
val empty : t
val set_path : Names.DirPath.t -> t -> t
val add : Vmemitcodes.to_patch -> t -> t * index
val load : Names.DirPath.t -> file:string -> ObjFile.in_handle -> on_disk
val link : on_disk -> t -> t
val inject : compiled_library -> on_disk
val resolve : index -> t -> Vmemitcodes.to_patch
val export : t -> compiled_library