sig   val leader : Kwmarc.leader -> string option   module Unqualified : sig val cw : (string * Kwmarc.spec list) list end end