# - : ('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 #