(module Bar_span)