- << x loc .. x? ...procedure
precondition test: passes x unchanged only if all predicates x? return #t on it, raises an argument-exception at location loc, if given, or '<< otherwise
precondition test: passes x unchanged only if all predicates x? return #t on it, raises an argument-exception at location loc, if given, or '<< otherwise