The construct :- record Spec, ... is used to define access
to named fields in a compound. It is subject to term-expansion (see
and cannot be called as a predicate. See
section A.42 for details.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in