.CRMLtoModelica.Functions.add4

Boolean4 accumulation operator for requirements

Interface

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

Generated at 2026-04-01T18:18:38Z by OpenModelicaOpenModelica 1.26.3 using GenerateDoc.mos