.CRML.Blocks.Logical4.implies4

Interface

function implies4
  import CRML.ETL.Types.Boolean4;
  input Boolean4 x1;
  input Boolean4 x2;
  output Boolean4 y;
end implies4;