and : élément du langage permettant d'effectuer simultanément plusieurs définitions locales.
raise : permet de déclencher une exception.
failwith : permet de déclencher une exception « Failure s » où s est une chaîne de caractère au choix (failwith s est équivalent à raise (Failure s)).

open_in : ouvre un canal d'entrée à partir d'un fichier.
input_line : lit une ligne de texte sur un canal d'entrée.
close_in : ferme un canal d'entrée.
open_out : crée un fichier comme canal de sortie.
output : écrit un texte sur un canal de sortie.
close_out : ferme un canal de sortie.

Sys.rename : renomme un fichier.
Sys.remove : supprime un fichier.
Sys.file_exists : détermine si un fichier existe au chemin spécifié.

Random.init : permet d'initialiser le moteur aléatoire avec un entier.
Random.int : donne un entier pris aléatoirement entre 0 (inclus) et l'entier donné (exclus).
Random.float : comme Random.int avec des flottants.
Random.bool : retourne aléatoirement true ou false.

List.sort : permet de trier les éléments d'une liste avec une fonction d'ordre au choix. Cette fonction doit associer aux deux éléments qu'on compare 0 s'ils sont égaux, un entier positif si le premier est plus grand, un entier négatif sinon. De plus, si f x y est positif alors f y x doit être négatif et si f x y et f y z sont positifs, f x z doit être positif. Par exemple pour retrouver l'ordre usuel sur les entiers, il suffit de choisir la fonction qui à deux entiers associe leur différence.
Sort.list : permet de trier les éléments d'une liste avec une fonction d'ordre au choix. D'usage plus simple que List.sort car cette fonction d'ordre doit simplement indiquer par un booléen si le premier élément est plus petit ou égal au second. Cette fonction est toutefois dépréciée et n'existe que pour des raisons historiques, en tant qu'adaptation d'une fonction de Caml Light.
Array.sort : fonctionnement identique à List.sort mais agit sur des tableaux.
Sort.array : fonctionnement identique à Sort.list, également dépréciée.

Sys.time : donne sous forme d'un flottant le temps en secondes écoulé depuis le lancement du programme.
Unix.time : donne le nombre de secondes écoulées depuis l'ère Unix (1er janvier 1970 à 0h00 GMT).

> Haut de la page