[examples][dune] add wrapped_lib and its uses

`wrapped_lib` is a copy `unwrapped_lib` with a change in the `dune`
fields: `(wrapped true)` (instead of `false`).
The `use_wrapped_lib` is also a copy of `use_unwrapped_lib` with an
extra module indirection to access elements in each `.ml` file.

The `.exp` files have been updated by copying the expected reports for
the `unwrapped_lib` to define expected reports for the `wrapped_lib`.
In the future, new examples should be added in a subdir of `lib`,
symlinked in both `unwrapped_lib` and `wrapped_lib`. Consequently,
the "copy" property of their reports should hold.

The new `.ref` files show that dune's wrapping of module is not an issue
for the tracking of optional arguments and stylistic issues. It is only
an issue for the default reports.

Author: fantazio

check/classic/classic.exp

@@ -20,6 +20,26 @@
 ./examples/using_dune/unwrapped_lib/values/values_no_intf.ml:20: unused_alias_fun
 ./examples/using_dune/unwrapped_lib/values/values_no_intf.ml:25: unused_closure
 
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:1: unused_fun_with_single_never_used_opt_arg
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:8: internally_used_fun_with_single_never_used_opt_arg
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:10: internally_used_fun_with_single_always_used_opt_arg
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:12: internally_used_fun_with_single_sometimes_used_opt_arg
+
+./examples/using_dune/wrapped_lib/values/values.mli:2: unused_int
+./examples/using_dune/wrapped_lib/values/values.mli:3: internally_used_int
+./examples/using_dune/wrapped_lib/values/values.mli:14: unused_fun
+./examples/using_dune/wrapped_lib/values/values.mli:15: internally_used_fun
+./examples/using_dune/wrapped_lib/values/values.mli:20: unused_alias_fun
+./examples/using_dune/wrapped_lib/values/values.mli:25: unused_closure
+./examples/using_dune/wrapped_lib/values/values.mli:26: internally_used_closure
+./examples/using_dune/wrapped_lib/values/values_in_submodules.mli:3: Exported.unused_int
+./examples/using_dune/wrapped_lib/values/values_in_submodules.mli:4: Exported.internally_used_int
+./examples/using_dune/wrapped_lib/values/values_in_submodules_no_intf.ml:3: Exported.unused_int
+./examples/using_dune/wrapped_lib/values/values_no_intf.ml:2: unused_int
+./examples/using_dune/wrapped_lib/values/values_no_intf.ml:13: unused_fun
+./examples/using_dune/wrapped_lib/values/values_no_intf.ml:20: unused_alias_fun
+./examples/using_dune/wrapped_lib/values/values_no_intf.ml:25: unused_closure
+
 ./examples/using_make/advanced/inc_val.mli:1: x
 ./examples/using_make/advanced/inc_val.mli:2: y
 
@@ -97,6 +117,22 @@ Nothing else to report in this section
 ./examples/using_dune/unwrapped_lib/obj/without_class.mli:28: _self_used_factory#unused_fun
 ./examples/using_dune/unwrapped_lib/obj/without_class.mli:28: _self_used_factory#unused_int
 
+./examples/using_dune/wrapped_lib/obj/with_class.mli:1: unused#unused
+./examples/using_dune/wrapped_lib/obj/with_class.mli:5: basics#never_used_fun
+./examples/using_dune/wrapped_lib/obj/with_class.mli:5: basics#never_used_int
+./examples/using_dune/wrapped_lib/obj/with_class.mli:23: unused_fun_class#unused
+./examples/using_dune/wrapped_lib/obj/with_class.mli:25: fun_class#unused
+./examples/using_dune/wrapped_lib/obj/with_class.mli:35: _self_used#unused
+./examples/using_dune/wrapped_lib/obj/with_class.mli:41: _self_used_fun_class#unused
+./examples/using_dune/wrapped_lib/obj/without_class.mli:1: immediate#unused_fun
+./examples/using_dune/wrapped_lib/obj/without_class.mli:1: immediate#unused_int
+./examples/using_dune/wrapped_lib/obj/without_class.mli:11: factory#unused_fun
+./examples/using_dune/wrapped_lib/obj/without_class.mli:11: factory#unused_int
+./examples/using_dune/wrapped_lib/obj/without_class.mli:22: _self_used_immediate#unused_fun
+./examples/using_dune/wrapped_lib/obj/without_class.mli:22: _self_used_immediate#unused_int
+./examples/using_dune/wrapped_lib/obj/without_class.mli:28: _self_used_factory#unused_fun
+./examples/using_dune/wrapped_lib/obj/without_class.mli:28: _self_used_factory#unused_int
+
 ./examples/using_make/obj/class.mli:1: c#h
 ./examples/using_make/obj/class_type.mli:9: c#h
 ./examples/using_make/obj/coerce.mli:6: p#f
@@ -151,6 +187,33 @@ Nothing else to report in this section
 ./examples/using_dune/unwrapped_lib/constructors_and_records/records.mli:43: partially_used_mix_2.partially_used_param
 ./examples/using_dune/unwrapped_lib/constructors_and_records/records.mli:47: partially_used_in_match.partially_used_in_match_unit
 
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:1: unused_single_no_param.Unused_single_no_param
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:2: unused_single_unit.Unused_single_unit
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:3: unused_single_param.Unused_single_param
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:5: unused_mix.Unused_no_param
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:6: unused_mix.Unused_unit
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:7: unused_mix.Unused_param
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:9: matched_single_no_param.Matched_single_no_param
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:10: matched_single_unit.Matched_single_unit
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:11: matched_single_param.Matched_single_param
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:13: matched_mix.Matched_no_param
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:14: matched_mix.Matched_unit
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:15: matched_mix.Matched_param
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:42: partially_used_mix_1.Partially_used_no_param
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:48: partially_used_mix_2.Partially_used_unit
+./examples/using_dune/wrapped_lib/constructors_and_records/constructors.mli:54: partially_used_mix_3.Partially_used_param
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:1: unused_single_unit.unused_single_unit
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:2: unused_single_param.unused_single_param
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:4: unused_mix.unused_unit
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:5: unused_mix.unused_param
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:8: written_single_unit.written_single_unit
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:9: written_single_param.written_single_param
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:11: written_mix.written_unit
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:12: written_mix.written_param
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:37: partially_used_mix_1.partially_used_unit
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:43: partially_used_mix_2.partially_used_param
+./examples/using_dune/wrapped_lib/constructors_and_records/records.mli:47: partially_used_in_match.partially_used_in_match_unit
+
 ./examples/using_make/record.mli:3: t0.unused
 ./examples/using_make/record.mli:4: t0.f
 ./examples/using_make/record.mli:10: X.t.unused
@@ -204,6 +267,46 @@ Nothing else to report in this section
 ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.mli:8: ?duplicate
 ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.mli:17: ?type_used
 
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.ml:1: ?always
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.ml:8: ?always
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.ml:15: ?always
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.mli:1: ?always
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.mli:3: ?always
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.mli:7: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:10: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:19: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:28: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:48: ?always1
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:48: ?always2
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:48: ?always3
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:58: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:63: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:68: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:73: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:78: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:83: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:5: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:16: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:22: ?always1
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:22: ?always2
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:22: ?always3
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:26: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:28: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:30: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:32: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:34: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:36: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:4: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:12: ?duplicate
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:15: ?duplicate
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:17: ?duplicate
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:22: ?type_used
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:27: ?type_used
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:30: ?type_used
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.mli:3: ?always
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.mli:8: ?duplicate
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.mli:17: ?type_used
+
 ./examples/using_make/baz.ml:1: ?d
 ./examples/using_make/baz.ml:5: ?d
 ./examples/using_make/cond_sel.ml:1: ?a
@@ -298,6 +401,46 @@ Nothing else to report in this section
 
 ./examples/using_dune/unwrapped_lib/style/style.ml:3: ?opt
 
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.ml:1: ?never
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.ml:8: ?never
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.ml:15: ?never
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.mli:1: ?never
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.mli:3: ?never
+./examples/using_dune/wrapped_lib/opt_args/mixed_args.mli:7: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:4: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:7: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:16: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:25: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:43: ?never1
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:43: ?never2
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:43: ?never3
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:58: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:63: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:68: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:73: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:78: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.ml:83: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:2: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:4: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:14: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:20: ?never1
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:20: ?never2
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:20: ?never3
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:26: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:28: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:30: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:32: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:34: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:36: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:1: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:10: ?duplicate
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:20: ?type_used
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:25: ?type_used
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.mli:1: ?never
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.mli:7: ?duplicate
+
+./examples/using_dune/wrapped_lib/style/style.ml:3: ?opt
+
 ./examples/using_make/dir/alias_opt.ml:2: ?b
 ./examples/using_make/dir/alias_opt.ml:11: ?a
 ./examples/using_make/dir/alias_opt.ml:11: ?b
@@ -332,6 +475,17 @@ Nothing else to report in this section
 ./examples/using_dune/unwrapped_lib/style/style.ml:4: let () = ... in ... (=> use sequence)
 ./examples/using_dune/unwrapped_lib/style/style.ml:5: let x = ... in x (=> useless binding)
 
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:20: val f: ... -> (... -> ?_:_ -> ...) -> ...
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:22: val f: ... -> (... -> ?_:_ -> ...) -> ...
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:25: val f: ... -> (... -> ?_:_ -> ...) -> ...
+./examples/using_dune/wrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:27: val f: ... -> (... -> ?_:_ -> ...) -> ...
+
+./examples/using_dune/wrapped_lib/style/style.ml:2: let () = ... in ... (=> use sequence)
+./examples/using_dune/wrapped_lib/style/style.ml:2: unit pattern unit_binding
+./examples/using_dune/wrapped_lib/style/style.ml:3: val f: ... -> (... -> ?_:_ -> ...) -> ...
+./examples/using_dune/wrapped_lib/style/style.ml:4: let () = ... in ... (=> use sequence)
+./examples/using_dune/wrapped_lib/style/style.ml:5: let x = ... in x (=> useless binding)
+
 ./examples/using_make/dir/fn_arg.ml:3: val f: ... -> (... -> ?_:_ -> ...) -> ...
 ./examples/using_make/dir/fn_arg.ml:9: val f: ... -> (... -> ?_:_ -> ...) -> ...
 ./examples/using_make/dir/fn_arg.ml:11: val f: ... -> (... -> ?_:_ -> ...) -> ...