let
kind_of_var (_,_,t,p)=
match
p
with
|
Some
ty
->
Formula
.
Acsl
(t,ty)
|
None
->
Formula
.
Model
t