[PVS-HELP] Function type extend problem

["Fu Song" <fsong@xxxxxxxxxxxxxxx>]

Dear Everyone:

 

I want to extend the function type.

Example:

T=TYPE+;

a: T;

T_without_a: TYPE={x:T|x/=a}

How I can define a FUNCTION TYPE "a" maps to bool, others map to real.

Can DATATYPE solve it?

 

Best regards

Song