- : ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a = List.fold_left is now traced. - : int = 0 List.fold_left <-- List.fold_left --> List.fold_left* <-- List.fold_left* --> List.fold_left** <-- [; ; ] List.fold_left <-- List.fold_left --> List.fold_left* <-- List.fold_left* --> List.fold_left** <-- [; ] List.fold_left <-- List.fold_left --> List.fold_left* <-- List.fold_left* --> List.fold_left** <-- [] List.fold_left <-- List.fold_left --> List.fold_left* <-- List.fold_left* --> List.fold_left** <-- [] List.fold_left** --> List.fold_left** --> List.fold_left** --> List.fold_left** --> - : int = 6