CMlexer.mli « caml - debian-compcert - Debian packaging for CompCert

summary refs log tree commit diff

path: root/caml/CMlexer.mli

blob: 573c530510792bb866889787cfa7904309174d76 (plain)

(* $Id: CMlexer.mli,v 1.1 2005/01/21 13:11:07 xleroy Exp $ *)

val token: Lexing.lexbuf -> CMparser.token
exception Error of string