Search

( condition type-field-binding ... ) condition?
condition-type condition-type?
type-field-binding⟩:= 
( condition-type field-binding )
field-binding⟩:= 
( field exp )
( define-condition-type condition-type supertype predicate field-spec ... )
supertype condition-type?
field-spec⟩:= 
( field accessor )