Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
unsigned word type in OCaml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <filliatr@l...>
Subject: Re: unsigned word type in OCaml?

> 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