でも今 # euclid' 0 4 2 って最初のcを0って指定してしか動かないので、できれば euclid' 4 2 って感じで引数減らしたいんですけどどうすればいいのか分からない

euclid_count.ml

(* 目的 : 最大公約数を求める *)
let rec euclid m n = 
    if n = 0 then m
    else if m = n then m 
    else if m > n then euclid n ( m mod n )
    else euclid n m 

(* 目的: 最大公約数を求めて、何回引き算したか(=何回割り算したか) 求める *)
(* euclid' :: int -> int -> int -> int *)
let rec euclid' c m n = 
    if n = 0 then c 
    else if m >= n then euclid' (c + 1) n ( m - n )
    else euclid' c n m 
 
let test1_euclid' = euclid' 0 4 2 = 2
let test2_euclid' = euclid' 0 826 204 = 28

(*
# #use "euclid.ml";;
val euclid : int -> int -> int = <fun>
val euclid' : int -> int -> int -> int = <fun>
val test1_euclid' : bool = true
val test2_euclid' : bool = true
*)

値を交換するのは大小関係が入れ替わった時だけだよ〜