package info (click to toggle)
coq 8.6-4
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 26,884 kB
  • sloc: ml: 183,693; ansic: 1,858; lisp: 1,425; sh: 1,138; makefile: 713; xml: 24; sed: 2

Folder: intf

d .. (parent)
- - rw-r--r-- 6,018 constrexpr.mli
- - rw-r--r-- 1,983 decl_kinds.mli
- - rw-r--r-- 1,203 evar_kinds.mli
- - rw-r--r-- 3,196 extend.mli
- - rw-r--r-- 1,704 genredexpr.mli
- - rw-r--r-- 3,870 glob_term.mli
- - rw-r--r-- 2,946 locus.mli
- - rw-r--r-- 3,172 misctypes.mli
- - rw-r--r-- 4,048 notation_term.mli
- - rw-r--r-- 3,333 pattern.mli
- - rw-r--r-- 11,830 tacexpr.mli
- - rw-r--r-- 19,460 vernacexpr.mli