package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

sha256=28f4c68127579b86c5f50e01e444e8c51f0543bc5472c2dcac28993bc88aa756

md5=0317493fa5cc1054a882ceca59ce5992

Sourcetype t

Sourceval create : int -> t

Create an empty bitset with an initial size (in number of bits).

Sourceval copy : t -> t

Copy a bitset : further modifications of first one will not affect the copy.

Sourceval set : t -> int -> unit

set s n sets the nth-bit in the bitset s to true.

Sourceval unset : t -> int -> unit

unset s n sets the nth-bit in the bitset s to false.

Sourceval put : t -> bool -> int -> unit

put s v n sets the nth-bit in the bitset s to v.

Sourceval toggle : t -> int -> unit

toggle s n changes the nth-bit value in the bitset s.

Sourceval is_set : t -> int -> bool

is_set s n returns true if nth-bit in the bitset s is set, or false otherwise.