You can search for identifiers within the package.
in-package search v0.2.0
include Value_intf.Iop with type num := int64 and type vbool := vbool and type const := Int64.t and type float32 := float32 and type float64 := float64
val zero : int64
val clz : int64 -> int64
val ctz : int64 -> int64
val popcnt : int64 -> int64
val add : int64 -> int64 -> int64
val sub : int64 -> int64 -> int64
val mul : int64 -> int64 -> int64
val div : int64 -> int64 -> int64
val unsigned_div : int64 -> int64 -> int64
val rem : int64 -> int64 -> int64
val unsigned_rem : int64 -> int64 -> int64
val logand : int64 -> int64 -> int64
val logor : int64 -> int64 -> int64
val logxor : int64 -> int64 -> int64
val shl : int64 -> int64 -> int64
val shr_s : int64 -> int64 -> int64
val shr_u : int64 -> int64 -> int64
val rotl : int64 -> int64 -> int64
val rotr : int64 -> int64 -> int64
val eq_const : int64 -> Int64.t -> vbool
val eq : int64 -> int64 -> vbool
val ne : int64 -> int64 -> vbool
val lt : int64 -> int64 -> vbool
val gt : int64 -> int64 -> vbool
val lt_u : int64 -> int64 -> vbool
val gt_u : int64 -> int64 -> vbool
val le : int64 -> int64 -> vbool
val ge : int64 -> int64 -> vbool
val le_u : int64 -> int64 -> vbool
val ge_u : int64 -> int64 -> vbool
val trunc_f32_s : float32 -> int64
val trunc_f32_u : float32 -> int64
val trunc_f64_s : float64 -> int64
val trunc_f64_u : float64 -> int64
val trunc_sat_f32_s : float32 -> int64
val trunc_sat_f32_u : float32 -> int64
val trunc_sat_f64_s : float64 -> int64
val trunc_sat_f64_u : float64 -> int64
val extend_s : int -> int64 -> int64
val of_int32 : int32 -> int64
val to_int32 : int64 -> int32
val reinterpret_f64 : float64 -> int64
val extend_i32_s : int32 -> int64
val extend_i32_u : int32 -> int64