package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41

md5=04c1e14f98e2c8fd966ef7ef30b38323

module E : E

Sourcetype bracket =

Sourcetype lex_error =

Sourcetype synt_error = E.t

Sourcetype error =

Sourceexception Error of error * location

The exception that should be raised when an error occur

Sourceval error_msg : ?filename:string -> (error * location) -> string

error_msg e ~filename returns a string describing the error e while the file filename is being processed

Sourceval empty_bracket_stack : (bracket * location) list

val push_bracket : 
  bracket ->
  location ->
  (bracket * location) list ->
  (bracket * location) list

val pop_bracket : 
  bracket ->
  location ->
  (bracket * location) list ->
  (bracket * location) list

Sourceval check_brackets : (bracket * location) list -> unit

On This Page