Module `One_bit_fewer.Make`

Parameters

module I : Flambda2_numbers.One_bit_fewer.S

Signature

type t = I.t

val machine_width : t -> Target_system.Machine_width.t

val compare : t -> t -> int

val equal : t -> t -> bool

val hash : t -> int

val print : Stdlib.Format.formatter -> t -> unit

val min_value : Target_system.Machine_width.t -> t

val max_value : Target_system.Machine_width.t -> t

val minus_one : Target_system.Machine_width.t -> t

val zero : Target_system.Machine_width.t -> t

val one : Target_system.Machine_width.t -> t

val ten : Target_system.Machine_width.t -> t

val hex_ff : Target_system.Machine_width.t -> t

val (<=) : t -> t -> bool

val (>=) : t -> t -> bool

val (<) : t -> t -> bool

val (>) : t -> t -> bool

val bottom_byte_to_int : t -> int

val of_char : Target_system.Machine_width.t -> char -> t

val of_int : Target_system.Machine_width.t -> int -> t

val of_int_option : Target_system.Machine_width.t -> int -> t option

val of_int32 : Target_system.Machine_width.t -> int32 -> t

val of_int64 : Target_system.Machine_width.t -> int64 -> t

val of_targetint : 
  Target_system.Machine_width.t ->
  Flambda2_numbers.Targetint_32_64.t ->
  t

val of_float : Target_system.Machine_width.t -> float -> t

val to_float : t -> float

val to_int : t -> int

val to_int_exn : t -> int

val to_int_option : t -> int option

val to_int32 : t -> int32

val to_int64 : t -> int64

val to_targetint : 
  Target_system.Machine_width.t ->
  t ->
  Flambda2_numbers.Targetint_32_64.t

val neg : t -> t

val get_least_significant_16_bits_then_byte_swap : t -> t

val add : t -> t -> t

val sub : t -> t -> t

val mul : t -> t -> t

val mod_ : t -> t -> t

val div : t -> t -> t

val and_ : t -> t -> t

val or_ : t -> t -> t

val xor : t -> t -> t

val shift_left : t -> int -> t

val shift_right : t -> int -> t

val shift_right_logical : t -> int -> t

val max : t -> t -> t

val min : t -> t -> t

Module One_bit_fewer.Make

Parameters

Signature

Module `One_bit_fewer.Make`