(
module
B
.
Dense_real
)