accessor_base

Accessors for Base types, for use with the Accessor library
IN THIS PACKAGE
Module Accessor_base . 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