let
cvar p x =
Cvar
(x,p)