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