Module Ixx.Make

Parameters

module Rep : RepType

Signature

type t = Rep.t
type bits = Rep.t
val of_bits : bits -> t
val to_bits : t -> bits
val zero : t
val lognot : t -> t
val abs : t -> t
val neg : t -> t
val add : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val div_s : t -> t -> t
val div_u : t -> t -> t
val rem_s : t -> t -> t
val rem_u : t -> t -> t
val avgr_u : t -> t -> t
val and_ : t -> t -> t
val or_ : t -> t -> t
val xor : t -> t -> t
val shl : t -> t -> t
val shr_s : t -> t -> t
val shr_u : t -> t -> t
val rotl : t -> t -> t
val rotr : t -> t -> t
val clz : t -> t
val ctz : t -> t
val popcnt : t -> t
val extend_s : int -> t -> t
val eqz : t -> bool
val eq : t -> t -> bool
val ne : t -> t -> bool
val lt_s : t -> t -> bool
val lt_u : t -> t -> bool
val le_s : t -> t -> bool
val le_u : t -> t -> bool
val gt_s : t -> t -> bool
val gt_u : t -> t -> bool
val ge_s : t -> t -> bool
val ge_u : t -> t -> bool
val as_unsigned : t -> t
val saturate_s : t -> t
val saturate_u : t -> t
val add_sat_s : t -> t -> t
val add_sat_u : t -> t -> t
val sub_sat_s : t -> t -> t
val sub_sat_u : t -> t -> t
val q15mulr_sat_s : t -> t -> t
val of_int_s : int -> t
val of_int_u : int -> t
val of_string_s : string -> t
val of_string_u : string -> t
val of_string : string -> t
val to_int_s : t -> int
val to_int_u : t -> int
val to_string_s : t -> string
val to_string_u : t -> string
val to_hex_string : t -> string
val pp : Stdlib.Format.formatter -> t -> unit