let
included r1 r2 =
forall
(
fun
f
->
f r1 r2)
[ included_cvars ; included_roots ; included_bases ]