package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: pretyping

d .. (parent)
- - rw-r--r-- 3,537 arguments_renaming.ml
- - rw-r--r-- 1,116 arguments_renaming.mli
- - rw-r--r-- 106,932 cases.ml
- - rw-r--r-- 4,665 cases.mli
- - rw-r--r-- 17,790 cbv.ml
- - rw-r--r-- 2,294 cbv.mli
- - rw-r--r-- 17,603 classops.ml
- - rw-r--r-- 3,901 classops.mli
- - rw-r--r-- 19,734 coercion.ml
- - rw-r--r-- 3,129 coercion.mli
- - rw-r--r-- 22,296 constr_matching.ml
- - rw-r--r-- 3,326 constr_matching.mli
- - rw-r--r-- 41,302 detyping.ml
- - rw-r--r-- 4,166 detyping.mli
- - rw-r--r-- 58,333 evarconv.ml
- - rw-r--r-- 3,717 evarconv.mli
- - rw-r--r-- 7,812 evardefine.ml
- - rw-r--r-- 1,966 evardefine.mli
- - rw-r--r-- 70,672 evarsolve.ml
- - rw-r--r-- 3,499 evarsolve.mli
- - rw-r--r-- 6,844 find_subterm.ml
- - rw-r--r-- 3,062 find_subterm.mli
- - rw-r--r-- 2,731 geninterp.ml
- - rw-r--r-- 2,489 geninterp.mli
- - rw-r--r-- 22,641 glob_ops.ml
- - rw-r--r-- 4,471 glob_ops.mli
- - rw-r--r-- 6,007 glob_term.ml
- - rw-r--r-- 6,539 heads.ml
- - rw-r--r-- 1,247 heads.mli
- - rw-r--r-- 23,189 indrec.ml
- - rw-r--r-- 2,689 indrec.mli
- - rw-r--r-- 29,174 inductiveops.ml
- - rw-r--r-- 9,985 inductiveops.mli
- - rw-r--r-- 8,278 inferCumulativity.ml
- - rw-r--r-- 780 inferCumulativity.mli
- - rw-r--r-- 3,137 locus.ml
- - rw-r--r-- 4,187 locusops.ml
- - rw-r--r-- 1,775 locusops.mli
- - rw-r--r-- 2,556 ltac_pretype.ml
- - rw-r--r-- 18,586 nativenorm.ml
- - rw-r--r-- 1,171 nativenorm.mli
- - rw-r--r-- 2,029 pattern.ml
- - rw-r--r-- 21,703 patternops.ml
- - rw-r--r-- 2,187 patternops.mli
- - rw-r--r-- 6,832 pretype_errors.ml
- - rw-r--r-- 5,647 pretype_errors.mli
- - rw-r--r-- 49,580 pretyping.ml
- - rw-r--r-- 5,324 pretyping.mli
- - rw-r--r-- 382 pretyping.mllib
- - rw-r--r-- 3,610 program.ml
- - rw-r--r-- 1,748 program.mli
- - rw-r--r-- 15,150 recordops.ml
- - rw-r--r-- 3,226 recordops.mli
- - rw-r--r-- 62,282 reductionops.ml
- - rw-r--r-- 12,719 reductionops.mli
- - rw-r--r-- 10,283 retyping.ml
- - rw-r--r-- 2,413 retyping.mli
- - rw-r--r-- 48,002 tacred.ml
- - rw-r--r-- 4,029 tacred.mli
- - rw-r--r-- 19,457 typeclasses.ml
- - rw-r--r-- 6,297 typeclasses.mli
- - rw-r--r-- 1,137 typeclasses_errors.ml
- - rw-r--r-- 1,014 typeclasses_errors.mli
- - rw-r--r-- 16,529 typing.ml
- - rw-r--r-- 2,935 typing.mli
- - rw-r--r-- 79,118 unification.ml
- - rw-r--r-- 4,490 unification.mli
- - rw-r--r-- 15,221 vnorm.ml
- - rw-r--r-- 797 vnorm.mli