--- /dev/null
+(**************************************************************************)
+(* *)
+(* Menhir *)
+(* *)
+(* François Pottier, INRIA Rocquencourt *)
+(* Yann Régis-Gianas, PPS, Université Paris Diderot *)
+(* *)
+(* Copyright 2005-2008 Institut National de Recherche en Informatique *)
+(* et en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0, with the change *)
+(* described in file LICENSE. *)
+(* *)
+(**************************************************************************)
+
+(* This module drives the second half of the front-end. It starts
+ where [PreFront] left off, and performs type inference. This yields
+ the grammar that the back-end works with (through the interface
+ provided by module [Grammar]). *)
+
+val grammar: UnparameterizedSyntax.grammar
+