/usr/share/splint/lib/lclinit.lci is in splint-data 1:3.1.2+dfsg-1build1.
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 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 | \comment Standard Larch C Interface Language (LCL) init file
commentSym //
opChar ~!#$&?@|
openSym \< \langle
closeSym \> \rangle
selectSym .
simpleId \bot \top
synonym int Int
synonym double float
synonym \and /\
synonym \or \/
synonym \implies =>
synonym \marker __
synonym = ==
synonym \neq !=
synonym \not !
synonym \not not
synonym \not ~
synonym \pre ^
synonym \post '
synonym \arrow ->
synonym \arrow \ra
synonym |- \postcat
synonym -| \pretcat
synonym |- \vdash
synonym -| \dashv
synonym \leq <=
synonym \geq >=
synonym \cap \I
synonym \cup \U
synonym \diamond \rel
synonym \sqcap \lub
synonym \sqcup \glb
|