package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2

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 "@ ".