.pre

Information

Interface

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