While writing the documentation for GSL I saw that it is not clear to me what the exact purpose of <span_ext> is. It cannot be used alone, you must #include <span> first. But <span> already does #include <span_ext>. What is the intent of the separation into two files? Do we still need/want two files or should we merge <span_ext> into <span>?
While writing the documentation for GSL I saw that it is not clear to me what the exact purpose of
<span_ext>is. It cannot be used alone, you must#include <span>first. But<span>already does#include <span_ext>. What is the intent of the separation into two files? Do we still need/want two files or should we merge<span_ext>into<span>?