16 |
dim : int, (* dimension of space *) |
dim : int, (* dimension of space *) |
17 |
ty : sample_ty, (* types of image samples *) |
ty : sample_ty, (* types of image samples *) |
18 |
origin : FloatLit.float list, (* center of first sample *) |
origin : FloatLit.float list, (* center of first sample *) |
19 |
sizes : int list (* number of samples along each axis *) |
sizes : int list (* number of samples along each axis; |
20 |
|
* we follow the Nrrd convention of |
21 |
|
* listing the axes in fast to slow |
22 |
|
* order. |
23 |
|
*) |
24 |
} |
} |
25 |
|
|
26 |
(* are the underlying files the same? *) |
(* are the underlying files the same? *) |
45 |
dim : int, (* dimension of space *) |
dim : int, (* dimension of space *) |
46 |
ty : sample_ty, (* types of image samples *) |
ty : sample_ty, (* types of image samples *) |
47 |
origin : FloatLit.float list, (* center of first sample *) |
origin : FloatLit.float list, (* center of first sample *) |
48 |
sizes : int list (* number of samples along each axis *) |
sizes : int list (* number of samples along each axis; |
49 |
|
* we follow the Nrrd convention of |
50 |
|
* listing the axes in fast to slow |
51 |
|
* order. |
52 |
|
*) |
53 |
} |
} |
54 |
|
|
55 |
fun same (ImgInfo{id=a, ...}, ImgInfo{id=b, ...}) = (a = b) |
fun same (ImgInfo{id=a, ...}, ImgInfo{id=b, ...}) = (a = b) |