package mula

  1. Overview
  2. Docs
type t =
  1. | Bits of int
val compare : t -> t -> int
val get : int -> t -> bool
val get_lane : lane:int -> k:int -> t -> bool
val get_right_of_lane : lane:int -> k:int -> m:int -> t -> bool
val get_left_of_lane : lane:int -> k:int -> m:int -> t -> bool
val pos_fold : f:(int -> 'a -> 'b) -> init:'c -> int -> 'd
val snoc_one : t -> t
val snoc_ones : t -> m:int -> t
val ones : m:int -> t
val snoc_zero : t -> t
val snoc_zeros : t -> m:int -> t
val zero : t
val one : t
val non_zero : t -> bool
val logor : t -> t -> t
val logand : t -> t -> t
val shift_right_logical : t -> int -> t
val shift_left : t -> int -> t
val pp_bv : Stdlib.Format.formatter -> t -> unit