let
get_a x =
match
x
with
Some v -> v | None -> failwith \lst
"get_a"
Le type
'
a
option
du n'indique pas si le champ est réellement présent ou absent. Il faut donc tester, et lever une erreur si le champ n'est pas présent.