function or4 import CRMLtoModelica.Types.Boolean4; input Boolean4 x1; input Boolean4 x2; output Boolean4 y; end or4;