Prev Up Next
Go backward to D.2 Keywords
Go up to D Display Format
Go forward to D.4 Comments and Annotations

D.3 Identifiers

Identifiers for sorts, operations, predicates, and variables are generally displayed with letters in italic: f, x, Very_Long_Identifier. Non-letter characters in identifiers are displayed as faithfully as practically possible.

[CHANGED:] Names for specifications, views, and libraries are displayed with the letters in the Small-Caps font when available, and otherwise in ordinary upper and lower case. [] Names for units are displayed in the same way as variables.

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to

Prev Up Next