跳转到内容

CDuce/Types/Records

摘自维基教科书,面向开放世界的开放书籍

类型 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;;
华夏公益教科书