Module Fixed_size_value_domain.Boolean_Forward