blob: 72cf10dce8b8084e2c48b0b28f956859c44d336a [file] [log] [blame]
DataverseUse test
TypeDecl TestType [
open RecordType {
id : string,
idx : string,
no-idx : string
}
]
DatasetDecl TestSet(TestType) partitioned by [[id]]