Tag designating a leaf node. More...
#include <dune/typetree/nodetags.hh>
Tag designating a leaf node.