.change

Information

Interface

impure function change<PodCref>
  discrete input PodCref y;
  output Boolean p;
end change;