DEFN
definition with
guard
t
Major Section:
EVENTS
Defn
is
defun
with
guard
t
.