Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2005-03-18 18:47:34 -0800 (Fri, 18 Mar 2005)
Revision: 6978
Log message:
Prettified most of mmc_core_type_check.ml. The remaining ugly rules are ugly
because they use private terms that don't have support in the parser yet. At
some point we'll set them up.