package accessor_base

  1. Overview
  2. Docs

The below functions all access modified versions of an int.

val negated : (_, Base.int, Base.int, [< Accessor_base__.Import.isomorphism ]) Accessor.t
val added : Base.int -> (_, Base.int, Base.int, [< Accessor_base__.Import.isomorphism ]) Accessor.t
val subtracted : Base.int -> (_, Base.int, Base.int, [< Accessor_base__.Import.isomorphism ]) Accessor.t
val incremented : (_, Base.int, Base.int, [< Accessor_base__.Import.isomorphism ]) Accessor.t
val decremented : (_, Base.int, Base.int, [< Accessor_base__.Import.isomorphism ]) Accessor.t
val bit_negated : (_, Base.int, Base.int, [< Accessor_base__.Import.isomorphism ]) Accessor.t
val bit_xored : Base.int -> (_, Base.int, Base.int, [< Accessor_base__.Import.isomorphism ]) Accessor.t
val bit_at_exn : Base.int -> (_, Base.bool, Base.int, [< Accessor_base__.Import.field ]) Accessor.t

Access a specific bit in an int. bit_at_exn i raises if i >= Int.num_bits