ECG-Kit 1.0

File: <base>/common/prtools/prmapping/or.m (22 bytes)
%OR Mapping overload