package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

include Value_intf.Iop
  with type num := int32
   and type vbool := vbool
   and type const := Int32.t
   and type float32 := float32
   and type float64 := float64

val zero : int32

val clz : int32 -> int32

val ctz : int32 -> int32

val popcnt : int32 -> int32

val add : int32 -> int32 -> int32

val sub : int32 -> int32 -> int32

val mul : int32 -> int32 -> int32

val div : int32 -> int32 -> int32

val unsigned_div : int32 -> int32 -> int32

val rem : int32 -> int32 -> int32

val unsigned_rem : int32 -> int32 -> int32

val logand : int32 -> int32 -> int32

val logor : int32 -> int32 -> int32

val logxor : int32 -> int32 -> int32

val shl : int32 -> int32 -> int32

val shr_s : int32 -> int32 -> int32

val shr_u : int32 -> int32 -> int32

val rotl : int32 -> int32 -> int32

val rotr : int32 -> int32 -> int32

val eq_const : int32 -> Int32.t -> vbool

val eq : int32 -> int32 -> vbool

val ne : int32 -> int32 -> vbool

val lt : int32 -> int32 -> vbool

val gt : int32 -> int32 -> vbool

val lt_u : int32 -> int32 -> vbool

val gt_u : int32 -> int32 -> vbool

val le : int32 -> int32 -> vbool

val ge : int32 -> int32 -> vbool

val le_u : int32 -> int32 -> vbool

val ge_u : int32 -> int32 -> vbool

val trunc_f32_s : float32 -> int32

val trunc_f32_u : float32 -> int32

val trunc_f64_s : float64 -> int32

val trunc_f64_u : float64 -> int32

val trunc_sat_f32_s : float32 -> int32

val trunc_sat_f32_u : float32 -> int32

val trunc_sat_f64_s : float64 -> int32

val trunc_sat_f64_u : float64 -> int32

val extend_s : int -> int32 -> int32

val to_bool : int32 -> vbool

val reinterpret_f32 : float32 -> int32

val wrap_i64 : int64 -> int32