pub const LABEL_ORDER: &str = "cove::type::label_order";
A labeled argument fills a parameter that stands before one an earlier argument already filled.