Not taking arguments given by name or position into account when computing the arguments which allows to decide which list of implicit arguments to consider when several such lists are available.
Not taking arguments given by name or position into account when
computing the arguments which allows to decide which list of implicit
arguments to consider when several such lists are available.

JasonGross/coq,ejgallego/coq,maximedenes/coq,JasonGross/coq,Ptival/coq,amintimany/coq,gares/coq,maximedenes/coq,letouzey/coq-wip,letouzey/coq-wip,gares/coq,silene/coq,ppedrot/coq,maximedenes/coq,SkySkimmer/coq,Lionel-Rieg/coq,ppedrot/coq,ppedrot/coq,SkySkimmer/coq,gares/coq,amintimany/coq,letouzey/coq-wip,mattam82/coq,amintimany/coq,coq/coq,JasonGross/coq,gares/coq,Matafou/coq,SkySkimmer/coq,ppedrot/coq,ppedrot/coq,Matafou/coq,maximedenes/coq,Ptival/coq,silene/coq,JasonGross/coq,william-lawvere/coq,Zimmi48/coq,coq/coq,ejgallego/coq,Ptival/coq,william-lawvere/coq,letouzey/coq-wip,Zimmi48/coq,maximedenes/coq,letouzey/coq-wip,ejgallego/coq,Lionel-Rieg/coq,coq/coq,william-lawvere/coq,coq/coq,mattam82/coq,ejgallego/coq,Lionel-Rieg/coq,gares/coq,Zimmi48/coq,SkySkimmer/coq,silene/coq,Zimmi48/coq,mattam82/coq,Matafou/coq