acgtk.utilsLib
UtilsLib.Error
acgtk.acgData
acgtk.containers
acgtk.datalogLib
acgtk.dump
acgtk.grammars
acgtk.logic
acgtk.magicRewriting
acgtk.scripting
acgtk.svg
acgtk.svg_cairo
acgtk.svg_dummy
type pos = Lexing.position * Lexing.position
val dummy_pos : pos
exception AcgtkError of string * Format.formatter -> unit * pos option
val base_prompt : string
val cont_prompt : string
module type ERROR_MANAGER = sig ... end
module type ERROR_HANDLER = sig ... end
module ErrorManager (E : ERROR_MANAGER) : ERROR_HANDLER with type manager = E.t
val underline_error : string -> pos -> unit
val compute_comment_for_location : pos -> string
val set_position : Sedlexing.lexbuf -> Lexing.position -> unit
val quote_position : pos -> pos
val list_to_string : string list -> string
val print_error : exn -> string option -> unit
val print_error_fatal : exn -> string option -> 'a
val pp_text : Format.formatter -> string -> unit
pp_text fmt msg pretty prints msg on fmt replacing all spaces by formatted spaces "@ ".
pp_text fmt msg
msg
fmt