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