acgtk.acgData
Errors.Environment_l
This module contains the type of errors linked to entries in environments.
acgtk.containers
acgtk.datalogLib
acgtk.dump
acgtk.grammars
acgtk.logic
acgtk.magicRewriting
acgtk.scripting
acgtk.svg_rendering
acgtk.utilsLib
type t =
| EntryNotFound of string
| NotALexicon of string
| NotASignature of string
| DuplicatedEntry of string
| Other
val kind : string
val pp : Format.formatter -> t -> unit