let
rec
conj_list l =
match
l
with
[]
->
Ptrue
|
p::tl
->
pand (p, conj_list tl)