demo.pvs

demo : THEORY
BEGIN
  

  Arr  : TYPE = set[int]
  
  
  b:Arr = lambda (x:int) : even?(x)

  singl(x:int):Arr = lambda(y:int): x = y
 
  getB(y:boolean):Arr = b

END demo