Discussion :

[SpiceGuid]

Le mot-clé est bel et bien documenté dans le manual (Part II Language extensions).

Code OCaml 3.09.3 & OCaml 3.10 :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
module M =
  struct
    type cell = private {size:int}
    let  alloc n = {size=n}
  end;;
Characters 74-82:
      let  alloc n = {size=n}
                     ^^^^^^^^
Cannot create values of the private type cell

Apparemment on peut le mettre dans une signature mais pas (comme je l'avais cru) dans une structure.

[gasche]

Attention, ce code est encore un peu en fluctuation, je pense que tu devrais attendre la 3.11 pour faire joujou avec les private.

Mais oui, comme c'est un mot-clé qui a du sens à l'extérieur du module (on ne peut pas construire de valeurs directement, mais on peut faire du filtrage dessus), il suffit de le mettre dans la signature.