相互再帰の使用

Question

このコードを実行しますが、このエラーがあります。 OCamlに相互再帰がありますか？

Error: Unbound value quicksort Did you mean tquicksort?

私の問題：

let rec tquicksort lm l lM = 
    match l with 
     | [] -> unirL(unir (rev lm) lM) 
     | lx::lxs -> let (la, lb) = part lx lxs in 
        if nroelem la < nroelem lb then 
         tquicksort (quicksort (la::lm)) lb lM 
        else 
         tquicksort lm la (quicksort (lb::lM));; 
let quicksort l = tquicksort [] l [];; 

Answer 1

あなたは相互再帰を許可するように前方宣言のために求めています。 OCamlでこの作業を行う方法はlet rec ... and ...です。例えば

：

let rec g x = if x < 2 then x else f x 
and f x = g (x - 1)