Pouvez vous donner le prédicat utilisé en plus de l'arbre.
W odpowiedzi na Vincent Jeunehomme
Re: is_balanced & parameters_gen
Napisane przez: Simon Archipoff ()
c'est (fun x => x mod 3 = 0)