Extract.v
Require
Extraction.
Require
Termes
.
Require
Conv
.
Require
Types
.
Require
Conv_Dec
.
Require
Infer
.
Write Caml File "
infer
" [
eqsort
red_to_prod
infer
check_typ
add_typ
].
17/10/96, 17:34