let
vrai = make (
Sy
.
True
) []
Ty
.
Tbool