Bonjour, je suis étudiante en informatique et nous devons faire un programme en OCamL, sur des formules propositionnelles
Mais j'arrive a un blocage, je dois générer toutes les combinaisons de taille n dont chaque élément est soit vrai soit faux. Je me suis donc servie dune fonction écrite en cour et que jai adapter

# let rec combi n a= if n=0 then [] else let res=combi (n-1) a in List.concat(List.map(fun m -> List.map(fun s -> s@m) a) res);;
val combi : int -> 'a list list -> 'a list list = <fun>

Mais quand jessais cela me renvoie automatiquement la liste vide, et je narrive pas a comprendre d'ou vient le probleme
# combi 3 [[Vrai];[Faux]];;
- : valeur_logique list list = []