You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Transitioning.List
val concat_map : ('a -> 'b list) -> 'a list -> 'b list
since 4.10.0
val equal : ('a -> 'a -> bool) -> 'a list -> 'a list -> bool
since 4.12.0
val compare : ('a -> 'a -> int) -> 'a list -> 'a list -> int