repeat : ('a -> 'a) -> 'a -> 'a
# repeat (snd o dest_forall) `!x y z. x + y + z < 1`;; val it : term = `x + y + z < 1`