Les pointeurs en Caml

Le type Pascal correspondant suit de près la définition C:

type
 liste = ^cellule;
 cellule = record
  hd: integer;
  tl: liste;
 end;

La fonction cons doit aussi être définie explicitement, et fait appel à la modification des champs pour initialiser la donnée.

{Construction d'une cellule de liste}
function cons (x: integer; l: liste): liste;
 var p: liste;
 begin
  new(p);
  p^.hd := x;
  p^.tl := l;
  cons := p
 end;