package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

dune-project

Dependency

sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

Sourcetype pos = Lexing.position * Lexing.position

Sourceval dummy_pos : pos

Sourceexception AcgtkError of string * Format.formatter -> unit * pos option

Sourceval base_prompt : string

Sourceval cont_prompt : string

Sourcemodule type ERROR_MANAGER = sig ... end

Sourcemodule type ERROR_HANDLER = sig ... end

Sourcemodule ErrorManager (E : ERROR_MANAGER) : ERROR_HANDLER with type manager = E.t

Sourceval underline_error : string -> pos -> unit

Sourceval compute_comment_for_location : pos -> string

Sourceval set_position : Sedlexing.lexbuf -> Lexing.position -> unit

Sourceval quote_position : pos -> pos

Sourceval list_to_string : string list -> string

Sourceval print_error : exn -> string option -> unit

Sourceval print_error_fatal : exn -> string option -> 'a

Sourceval pp_text : Format.formatter -> string -> unit

pp_text fmt msg pretty prints msg on fmt replacing all spaces by formatted spaces "@ ".