package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster
  • 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: checker

d .. (parent)
- - rw-r--r-- 3,051 .depend
- - rw-r--r-- 10,673 analyze.ml
- - rw-r--r-- 1,232 analyze.mli
- - rw-r--r-- 15,745 check.ml
- - rw-r--r-- 1,089 check.mli
- - rw-r--r-- 556 check.mllib
- - rw-r--r-- 2,100 check_stat.ml
- - rw-r--r-- 759 check_stat.mli
- - rw-r--r-- 14,288 checker.ml
- - rw-r--r-- 701 checker.mli
- - rw-r--r-- 15,777 cic.mli
- - rw-r--r-- 27,282 closure.ml
- - rw-r--r-- 5,698 closure.mli
- - rw-r--r-- 19,588 declarations.ml
- - rw-r--r-- 1,801 declarations.mli
- - rw-r--r-- 7,835 environ.ml
- - rw-r--r-- 2,541 environ.mli
- - rw-r--r-- 4,940 include
- - rw-r--r-- 24,829 indtypes.ml
- - rw-r--r-- 1,438 indtypes.mli
- - rw-r--r-- 43,699 inductive.ml
- - rw-r--r-- 3,104 inductive.mli
- - rw-r--r-- 26 main.ml
- - rw-r--r-- 808 main.mli
- - rw-r--r-- 4,298 mod_checking.ml
- - rw-r--r-- 753 mod_checking.mli
- - rw-r--r-- 5,209 modops.ml
- - rw-r--r-- 1,655 modops.mli
- - rw-r--r-- 3,948 print.ml
- - rw-r--r-- 745 print.mli
- - rw-r--r-- 22,344 reduction.ml
- - rw-r--r-- 2,032 reduction.mli
- - rw-r--r-- 3,521 safe_typing.ml
- - rw-r--r-- 994 safe_typing.mli
- - rw-r--r-- 12,573 subtyping.ml
- - rw-r--r-- 875 subtyping.mli
- - rw-r--r-- 14,504 term.ml
- - rw-r--r-- 2,545 term.mli
- - rw-r--r-- 3,997 type_errors.ml
- - rw-r--r-- 3,764 type_errors.mli
- - rw-r--r-- 11,912 typeops.ml
- - rw-r--r-- 972 typeops.mli
- - rw-r--r-- 31,792 univ.ml
- - rw-r--r-- 8,938 univ.mli
- - rw-r--r-- 5,232 validate.ml
- - rw-r--r-- 726 validate.mli
- - rw-r--r-- 10,993 values.ml
- - rw-r--r-- 1,013 values.mli
- - rw-r--r-- 11,627 votour.ml
- - rw-r--r-- 808 votour.mli