package info (click to toggle)
coq 8.16.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 40,596 kB
  • sloc: ml: 219,376; sh: 3,545; python: 3,231; ansic: 2,529; makefile: 767; lisp: 279; javascript: 63; xml: 24; sed: 2

Folder: pretyping

d .. (parent)
- - rw-r--r-- 3,926 arguments_renaming.ml
- - rw-r--r-- 1,163 arguments_renaming.mli
- - rw-r--r-- 119,960 cases.ml
- - rw-r--r-- 5,008 cases.mli
- - rw-r--r-- 28,478 cbv.ml
- - rw-r--r-- 2,500 cbv.mli
- - rw-r--r-- 29,482 coercion.ml
- - rw-r--r-- 3,667 coercion.mli
- - rw-r--r-- 16,643 coercionops.ml
- - rw-r--r-- 3,969 coercionops.mli
- - rw-r--r-- 26,747 constr_matching.ml
- - rw-r--r-- 3,623 constr_matching.mli
- - rw-r--r-- 46,954 detyping.ml
- - rw-r--r-- 3,646 detyping.mli
- - rw-r--r-- 155 dune
- - rw-r--r-- 80,993 evarconv.ml
- - rw-r--r-- 5,775 evarconv.mli
- - rw-r--r-- 8,992 evardefine.ml
- - rw-r--r-- 2,260 evardefine.mli
- - rw-r--r-- 76,475 evarsolve.ml
- - rw-r--r-- 7,383 evarsolve.mli
- - rw-r--r-- 5,973 find_subterm.ml
- - rw-r--r-- 3,007 find_subterm.mli
- - rw-r--r-- 2,748 geninterp.ml
- - rw-r--r-- 2,506 geninterp.mli
- - rw-r--r-- 8,415 globEnv.ml
- - rw-r--r-- 3,941 globEnv.mli
- - rw-r--r-- 23,502 glob_ops.ml
- - rw-r--r-- 4,860 glob_ops.mli
- - rw-r--r-- 6,238 glob_term.ml
- - rw-r--r-- 4,184 heads.ml
- - rw-r--r-- 1,070 heads.mli
- - rw-r--r-- 28,055 indrec.ml
- - rw-r--r-- 2,732 indrec.mli
- - rw-r--r-- 29,732 inductiveops.ml
- - rw-r--r-- 11,578 inductiveops.mli
- - rw-r--r-- 4,323 keys.ml
- - rw-r--r-- 1,049 keys.mli
- - rw-r--r-- 3,162 locus.ml
- - rw-r--r-- 5,868 locusops.ml
- - rw-r--r-- 2,986 locusops.mli
- - rw-r--r-- 2,617 ltac_pretype.ml
- - rw-r--r-- 19,865 nativenorm.ml
- - rw-r--r-- 848 nativenorm.mli
- - rw-r--r-- 2,090 pattern.ml
- - rw-r--r-- 23,755 patternops.ml
- - rw-r--r-- 2,415 patternops.mli
- - rw-r--r-- 7,381 pretype_errors.ml
- - rw-r--r-- 6,007 pretype_errors.mli
- - rw-r--r-- 64,250 pretyping.ml
- - rw-r--r-- 9,090 pretyping.mli
- - rw-r--r-- 3,600 program.ml
- - rw-r--r-- 1,806 program.mli
- - rw-r--r-- 52,865 reductionops.ml
- - rw-r--r-- 10,536 reductionops.mli
- - rw-r--r-- 13,019 retyping.ml
- - rw-r--r-- 2,556 retyping.mli
- - rw-r--r-- 16,178 structures.ml
- - rw-r--r-- 5,304 structures.mli
- - rw-r--r-- 53,023 tacred.ml
- - rw-r--r-- 4,354 tacred.mli
- - rw-r--r-- 7,809 typeclasses.ml
- - rw-r--r-- 4,837 typeclasses.mli
- - rw-r--r-- 1,136 typeclasses_errors.ml
- - rw-r--r-- 1,087 typeclasses_errors.mli
- - rw-r--r-- 19,789 typing.ml
- - rw-r--r-- 2,851 typing.mli
- - rw-r--r-- 91,069 unification.ml
- - rw-r--r-- 4,133 unification.mli
- - rw-r--r-- 16,615 vnorm.ml
- - rw-r--r-- 797 vnorm.mli