Credit to Thibault Martin

Credit to Thibault Martin

- Better names in composition.mli
- Adding @since everywhere
- Some spaces to pin doc onto the module instead of its content

Credit to Virgile Prevosto

Based on distributives laws

Credit to Virgile Prevosto

Credit to Basile Desloges

Guillaume Combette authored 5 months ago and David Bühler committed 5 months ago

The performance impact is small but measurable (about 2% in run time
difference for polarssl and debie1 in open-source-case-studies). That's
the tradeoff for not having to worry about misusing Obj.

Values are simply modules of type Datatype.S.
The pretty_debug of hptmap simply uses V.pretty instead of V.pretty_debug.

Removes all previous definitions "let pretty_debug = pretty" in modules
using Hptmap.

Complete functor Make_with_compositional_bool takes an additional module
for the compositional boolean.
Functor Make simply uses Comp_unused by default.