function cvBooleanToBoolean4 import CRMLtoModelica.Types.Boolean4; input Boolean x; output Boolean4 y; end cvBooleanToBoolean4;