You can search for identifiers within the package.
in-package search v0.2.0
include Value_intf.Fop with type num := float32 and type vbool := vbool and type int32 := int32 and type int64 := int64 and type same_size_int := int32
val zero : float32
val abs : float32 -> float32
val neg : float32 -> float32
val sqrt : float32 -> float32
val ceil : float32 -> float32
val floor : float32 -> float32
val trunc : float32 -> float32
val nearest : float32 -> float32
val add : float32 -> float32 -> float32
val sub : float32 -> float32 -> float32
val mul : float32 -> float32 -> float32
val div : float32 -> float32 -> float32
val min : float32 -> float32 -> float32
val max : float32 -> float32 -> float32
val copy_sign : float32 -> float32 -> float32
val eq : float32 -> float32 -> vbool
val ne : float32 -> float32 -> vbool
val lt : float32 -> float32 -> vbool
val gt : float32 -> float32 -> vbool
val le : float32 -> float32 -> vbool
val ge : float32 -> float32 -> vbool
val convert_i32_s : int32 -> float32
val convert_i32_u : int32 -> float32
val convert_i64_s : int64 -> float32
val convert_i64_u : int64 -> float32
val of_bits : int32 -> float32
val to_bits : float32 -> int32
val demote_f64 : float64 -> float32
val reinterpret_i32 : int32 -> float32