CDuce/Types/Records

type T = { a=Int b=Char c=?Char} let x : T = { b='2' a=1 c='3' } let y : T = { a=1 b='2'} y.a;; x.c;;