Chapter 5 The Flow Caml library
This chapter describes the Flow Caml library. This library is a
translation of (a subset of) the Objective Caml standard library for
the Flow Caml language, which includes all the necessary security
annotations. As in Objective Caml, the
Pervasives module is
automatically ``opened'' when a compilation starts or when the
toplevel is launched.