This file is indexed.

/usr/lib/mlton/targets/x86_64-linux-gnu/sizes is in mlton-runtime-x86-64-linux-gnu 20100608-5.1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
8
cint = 4
cpointer = 8
cptrdiff = 8
csize = 8
header = 8
mplimb = 8
objptr = 8
seqIndex = 8