1
(***********************************************************************)
5
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
7
(* Copyright 1996 Institut National de Recherche en Informatique et *)
8
(* en Automatique. All rights reserved. This file is distributed *)
9
(* under the terms of the Q Public License version 1.0. *)
11
(***********************************************************************)
13
(* $Id: parsecmmaux.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
15
(* Auxiliary functions for parsing *)
17
val bind_ident: string -> Ident.t
18
val find_ident: string -> Ident.t
19
val unbind_ident: Ident.t -> unit
24
exception Error of error
26
val report_error: error -> unit