Safestd is a restriction of the Caml Special Light standard library.
IO functions are not given, except basic printing and reading on standard channels. exit and at_exit are not available.
unsafe_get and unsafe_set are not available.
Unsafe operations get, set, blit, fill are not available.
unsafe_chr is not available.
All Hashtbl operations are safe.
Type lexbuf is abstract. Internal functions are not available.
List, Map, Printf, Queue, Set, Sort, Stack, Random are all safe.