Module Make_with_types.Boolean_Forward