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