- : ('acc -> 'a -> 'acc) -> 'acc -> 'a list -> 'acc = 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