You can search for identifiers within the package.
in-package search v0.2.0
frama-c-from.core
From
val is_computed : Frama_c_kernel.Cil_types.kernel_function -> bool
val compute : Frama_c_kernel.Cil_types.kernel_function -> unit
val compute_all : unit -> unit
val get : Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Function_Froms.froms
val access : Frama_c_kernel.Locations.Zone.t -> Frama_c_kernel.Function_Froms.Memory.t -> Frama_c_kernel.Locations.Zone.t
val self : Frama_c_kernel.State.t
val pretty : Format.formatter -> Frama_c_kernel.Cil_types.kernel_function -> unit
val display : Format.formatter -> unit
val compute_all_calldeps : unit -> unit
module Callwise : sig ... end