You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Frama_c_kernel.Addresses
Represent a set of addresses by associating bases with offsets.
module Bytes : sig ... end
Association between bases and offsets in byte.
module Bits : sig ... end
Association between bases and offsets in bits.