The Flow Caml library

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.

Built-in types and predefined exceptions
Module Array
Module Buffer
Module Char
Module Charray
Module Complex
Module Digest
Module Filename
Module Fmarshal
Module Hashtbl
Module Int32
Module Int64
Module List
Module Map
Module Nativeint
Module Pervasives
Module Queue
Module Random
Module Set
Module Stack
Module String
Module Sys