Module Menhir_pascaligo_tokens

module MenhirToken : sig ... end