[
<
]
[
>
]
[
<<
]
[
Up
]
[
>>
]
[
Top
]
[
Contents
]
[Index]
[
?
]
A.6 Special Definitions
A.6.1 External
A.6.2 Transparent
A.6.3 Assert
A.6.4 Print
Formal Systems (Europe) Ltd
FDR2 Manual