Re: unsigned word type in OCaml?

From: Jean-Christophe Filliatre (
Date: Sun Jan 31 1999 - 13:20:57 MET

From: Jean-Christophe Filliatre <>
Date: Sun, 31 Jan 1999 13:20:57 +0100 (MET)
To: "Sussillo, David" <>
Subject: Re: unsigned word type in OCaml?
In-Reply-To: <>

> I'm working on a low level systems project, and I'm thinking about using
> OCaml as the langauge. However, try as I might, I simply cannot find a
> reference to a machine word type.
> More specially, I need:
> a. byte access to machine words
> b. unsigned 32 bit quantities (e.g. physical address)
> c. bitwise boolean operations (shifts, not, and & or)

One year ago, I wrote a small (boxed) 32-bit integers library for
ocaml, which is freely available here :

It provides the standard operations, including bitwise boolean operations.
It is easy to adapt it to unsigned 32-bit integers.

Jean-Christophe FILLIATRE

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:19 MET