Files
linguist/test/fixtures/coq/interval_discr.v