prev
(
testsuite
>
StrictContent
>
ConstantsAndSymbols
>
true
> rec-true1 )
next
Sample Rendering:
Your browser's rendering
:
eq
or
true
P
logical
true